α∩β=m,n‖α,n‖β,求证m‖n.
过n作平面γ,使γ∩β=n' n‖β,n//n'
过n作平面δ,使δ∩α=n'' n‖α,n//n''
所以n'//n''
n'在平面β内
所以n''//β
n''在平面α内,α∩β=m
n''//m
n//m