Ptolemy's theorem (Q459547)
theorem
Language: