Si hay dos números que no pueden ser divisibles por el mismo divisor y comparten el mismo residuo, pueden restarse y su diferencia será divisible.