The above condition ensures that a pair of disjoint triangles abc and xyz is not a (single) polytope.
Условие выше обеспечивает, что пара отдельных треугольников abc и xyz не является (единым) многогранником.