Основные теоремы по планеметрии, должно быть около 17 штук. от первых аксиом до перпендикуляра к плоскости
F jnrelf 'nj pflfybz&&&&&&&
откуда задания