Bretschneider's formula (Q537518)
theorem
Language: