Теорема называется "признак скрещивающихся прямых"
если одна из двух прямых (b в нашем случае) лежит в плоскости (альфа), а другая прямая (MN) пересекает эту плоскость в точке не лежащей на этой прямой (точка М не принадлежит прямой b), то эти прямые скрещивающиеся. То есть не лежат в одной плоскости.