Como antes, para cualquier módulo "n" y cualquier entero "a" coprimo con "n", se tiene: