Отметим на прямой b произвольную точку N≠M. Допустим, N∉α., тогда b∩α=M, тогда по теореме (или лемме) о параллельных прямых, пересекающих плоскость a пересекает α, что противоречит условию a||α. Следовательно, N∈α, следовательно по признаку (b проходит через точки M∈α, N∈α), b∈α. Доказано.