Na odcinku po zewnętrznej stronie trójkąta budujemy trójkąt przystający do  (tak, że ). W tych trójkątach kąty przy wierzchołkach  i  są równe, wobec czego Zatem kąt jest rozwarty.

Skoro to Stąd i z rozwartości kąta  wnosimy, patrząc na trapez   że