Ptolemy's theorem with essential conditions