sorsfetai lujvo

x1 is a polyhedron.

See also sorjgatai.