backemselrerkru lujvo

k1 is a hyperbola in k2 at k3 defined by set of points/properties k4.