RE: Ptolmey's theorem