түзуінде жатпайтындықтан және түзулері әртүрлі. Сонымен қатар , , нүктелері бір түзудің бойында жатпайды. Олай болса, аксиома-4 бойынша жазықтығын жүргізуге болады. , , нүктелері жазықтығында жатқандықтан , түзулері де осы жазықтыққа тиісті екені белгілі. Бұл түзулердің ортақ нүктесі болғандықтан, олар қиылысатын түзулер.