қандай да бір нүктесін аламыз. мен және мен арқылы сәйкес және жазықтықтарын жүргіземіз; алдыңғы теорема бойынша осы жазықтықтардың қиылысу сызығы түзуіне әрі түзуіне параллель. нүктесі арқылы түзуіне параллель болатын әр түрлі екі түзу жүргізуге болмайды, сондықтан және түзулері дәл келіп беттеседі. Ал болғандықтан, болады.
нүктесін аламыз. 
мен 
мен 
және 
жазықтықтарын жүргіземіз; алдыңғы теорема бойынша осы жазықтықтардың қиылысу 
сызығы 
түзулері дәл келіп беттеседі. Ал 
болғандықтан, 
болады.