Hm... I'd say that by Ptolemy we have (since and are not longer than a diameter of the circle).
Hm... Gusto kong sabihin na sa pamamagitan ng Ptolemy mayroon kami (since at ay hindi mas mahaba kaysa sa isang diameter ng bilog).