Como hemos decidido no distinguir el entero "a" de su clase "ā", una misma relación a ≡ b (mod n) tiene dos interpretaciones.