Изменения

{{Лемма

|id=pOnPlane

|statement=Точка <tex>p</tex> лежит на плоскости <tex>g</tex> тогда и только тогда, когда определитель матрицы <tex>A</tex> равен <tex>0</tex>.

|proof=

Итак, поворот классифицирует точки не лежащие на плоскости и разбивает их на два выпуклых множества

==Уравнение гиперплоскости, полупространства==