Brahmagupta's theorem