P = emptyPolyhedron n
i1 : P = emptyPolyhedron 3 o1 = P o1 : Polyhedron
The object emptyPolyhedron is a method function.