Outline of proof of Ptolemy's theorem