NENENE 以外の NNN から ω\omegaω への接線が ω\omegaω に接する点を X≠EX\ne EX=E とし、直線 ABABAB との交点を M′M'M′ とする。M′R∥ACM'R\parallel ACM′R∥AC を示せば十分である。なぜならこれにより M′=MM'=MM′=M が強制され、MNMNMN が構成した接線そのものになるからである。