Brahmagupta theorem