veldilcu lujvo

x1 is the division-remainder of "x2/x3" with quotient x4 // x1 = x2 modulo x3

"x1 == x2 % x3" in many programming languages.

In notes:

x1 (number) is fully divisible by x2 (number) // "x1/x2" is an integer // x2 is a factor of x1
x1 (li; number) is congruent to x2 (li; number; see description for canonical/traditional/contextless default usage) modulo x3 (li; number); \frac(x1 - x is an integer.