Demostración: Vimos anteriormente que para cualquier formula_28 los Enteros módulo m está provisto de operaciones de suma y multiplicación definidas por