PTOLEMY THEOREM PROOF