Find!
x1 is an odd number (integer not divisible by 2).
See also: reldilcymu'o, 1/x2" is an integer // x2 is a factor of x1">dilcymu'o, re.