Find!
z1 (number) is greater than 0 by amount z4 (number); z1 is a positive number.
See also nonme'a, zmadu, no.