Ptolemejev izrek - Košir, Tomaž (Presek, 1988)