العموديّان على نفس المماسّ في نفس النقطة متطابقان — موتور الشكل المتطوّر (GEODATA).
\((\Delta)\) مماسّ في \(A\) إذن \((IA) \perp (\Delta)\).
\((\Delta)\) مماسّ لـ \((\mathcal{C}')\) في \(A\) إذن \((JA) \perp (\Delta)\).
\((IA) \perp (\Delta)\) و \((JA) \perp (\Delta)\)، ومن \(A\) يوجد مستقيم واحد عمودي على \((\Delta)\)، إذن \((IA)\) و \((JA)\) نفس المستقيم، أي \(A\)، \(I\)، \(J\) على استقامة واحدة.
كل سؤال يضيف طبقة إلى نفس الشكل — بناء تدريجي للبرهان.