Redirecting to Brahmagupta theorem