Предположим, что в не лежит в альфа,
тогда в пересекается с альфа в точке А,
т.к. по условию в||а, ---> и прямая (а) пересекает плоскость альфа
((была такая лемма))),
а по условию прямая (а) и плоскость альфа параллельны,
т.е. НЕ имеют общих точек --- противоречие)))
значит, прямая (в) лежит в плоскости альфа