RE: Ptolemy's theorem - cannot figure out how to apply