فرض:نقطه ای مانند a غیر واقع بر خط d وجود دارد
حکم:از نقطه a نمیتوان بیش از یک عمود بر خط d رسم کرد .
استدلال : با برهان خلف فرض میکنیم حکم غلط باشد یعنی فرض میکنیم از نقطه a دو عمو برخط d رسم کرده ایم که مانند شکل خط d را در نقاط b و c قطع کرده است در این صورت مجموع زوایای داخلی مثلث abc بزرگتر از ۱۸۰ خواهد شد و این غیر ممکن است پس امکلن رسم دو خط عمود از این نقطه واقع بر بک خط وجود ندارد یعنی حکم نمیتواند غلط باشد