Геометрия в деталях: первое свойство параллельности прямой и плоскости