Глава I Параллельность прямых и плоскостей. §3 Параллельность плоскостей → номер 57
Пусть а не параллельна пл. β, тогда она пересекает пл. β, а, значит, пересекает пл. α, но по условию а || α. Значит, предположение неверно, а не пересекает пл. β, то есть или а || β, или а ⊂ β.