Lines l and m intersect at a single point K. The proof assumes lines l and m intersect at point K, then shows they cannot intersect at any other point. It states lines l and m intersect at K by given information. It then lets point N be another supposed intersection. But points K and N forming a single line means l and m can only intersect at the single point K.