8.3.3 Ptolemaiose teoreem