Ни одно M не есть P. Все S суть M. Следовательно, ни одно S не есть P.
2D: слева исходные классы, справа их образы при одной общей проективности h.3D: сечения z=4 и z=8; области соединены образующими, вершина исключена.
Область S находится внутри M, который отделён от P. Если бы x принадлежал S∩P, из x∈S следовало бы x∈M, что противоречило бы M∩P=∅. В 3D общая вершина исключена и не создаёт ложного пересечения конусов.
