, με
, είναι εγγεγραμμένο σε κύκλο
. Από σημείο 
της προέκτασης της
, φέρουμε το εφαπτόμενο τμήμα
( το
μεταξύ των
)και γράφουμε τον κύκλο που ορίζουν τα σημεία
, ο οποίος τέμνει τις 
στα σημεία
αντίστοιχα . Δείξτε ότι η ευθεία
διέρχεται από το σημείο
.
και
.
. Επίσης λόγω εφαπτομένης ισχύει
. Έπειτα παρατηρούμε ότι
.
είναι εγγράψιμο και ισχύει
.
, δηλαδή τα σημεία
είναι συνευθειακά.
το μέσο του
το κέντρο του κύκλου 
γιατί τα σημεία
ομοκυκλικά και
γιατί βαίνουν στο ίδιο
που μας εξασφαλίζουν ότι και τα σημεία
είναι ομοκυκλικά με άμεση συνέπεια :
αλλά
( χορδή κι
που μας εξασφαλίζει ότι
άλλα
( διάκεντρος
.Εξ αιτίας των
και από το

είναι εγγράψιμο.