fig/mpt/modules/geometry/sets/@Polyhedron/isneighbor4.png"> in dimension <img src="../../../../../../fig/mpt/modules/geometry/sets/@Polyhedron/isneighbor5.png" alt="../../../../../../fig/mpt/modules/geometry/sets/@Polyhedron/isneighbor5.png"> 
        is nonempty and is of dimension <img src="../../../../../../fig/mpt/modules/geometry/sets/@Polyhedron/isneighbor6.png" alt="../../../../../../fig/mpt/modules/geometry/sets/@Polyhedron/isneighbor6.png">. If this holds, then the two polyhedra are touching themse