jipmokca lujvo

x1 is a vertex of polytope x2 at locus x3.