Notemos que cuando formula_73 entonces para cualquier múltiplo de formula_74 digamos formula_75 se cumple que formula_76