klamau lujvo

z1, more than z2, goes to k2 from k3 via k4 by means of k5.

Mentioned in example 12.91 (cll 1.1).