問題は二等辺を仮定するが、任意の三角形 ABCABCABC で考える。外心と内心を OOO と III とする。AIAIAI を延長して外接円と再び LLL で交わらせ、次に LOLOLO を延長して外接円と再び MMM で交わらせる。