Ptolemy's inequality

GPTKB entity