Find!
x1 (number) is fully divisible by x2 (number) // "x1/x2" is an integer // x2 is a factor of x1
See dilcu, 2/x3" with quotient x4 // x1 = x2 modulo x3">veldilcu, reldilcymu'o, mulna'u