Wykonujemy rysunek:

W celu pokazania współliniowości punktów , pokazujemy, że .

Zatem widzimy, że kąt  jest kątem prostym. bo to kąt wpisany, oparty na