Доказательство:
- Так как ABCD - трапеция, AD || BC.
- BC лежит в плоскости BMC.
- AD не лежит в плоскости BMC (иначе М лежала бы в плоскости ABCD).
- Если прямая (AD) параллельна некоторой прямой (BC), лежащей в плоскости (BMC), и не лежит в этой плоскости, то прямая параллельна плоскости.
Следовательно, прямая AD параллельна плоскости BMC.