Teorema de Arquímedes

Definición: Si el producto de dos números enteros es múltiplo de cierto módulo y uno de los números no es múltiplo del módulo, entonces el otro número debe ser múltiplo de dicho módulo