للتبيان انه مستقيم يعامد AB في النقطة G لقد برهنا ان انتهى البرهان يعني مهما تكن النقطة في المجموعة E هي تحقق مستقيم يعامد (ab) نحن نعلم ان جداء شعاعين متاعمدين هو 0 لان 0=(cos(90 *