Ни одно M не есть P. Некоторые S суть M. Следовательно, некоторые S не суть P.
2D: слева исходные классы, справа их образы при одной общей проективности h.3D: сечения z=4 и z=8; области соединены образующими, вершина исключена.
Красная точка x=(−9/10,0) лежит в S∩M. Разделение M и P даёт x∉P, следовательно x∈S∖P. Другие точки S могут принадлежать P; их наличие не противоречит отрицательному частному заключению.
