fie d si a ⊥d, b⊥d, b∩d=M
mas ∡2=90°, pt ca b⊥d
presupunem b∦a
atunci prin M se poate duce b'||a care formeaza ∡3≡∡1(alterne interne)
⇒mas∡3=90°
dar asta inseamna ca in M am dus 2 perpendiculare pe d, absurd
deci presupunerea noastra ca b∦a este gresita,deci b||a, cerinta
