Ptolemy%27s theorem#Corollaries