cualesquiera tales que "A" ≡ "B" (mod n), entonces para cualquier número natural "C" tenemos que "AC" ≡ "BC" (mod n).