#30 Ahora mismo no se me ocurre como se probaba esa propiedad pero puedes echarle un vistazo al apartado de propiedades en https://es.m.wikipedia.org/wiki/Aritm%C3%A9tica_modular para confirmar que se cumple.
En todo caso, en la teoría debería venir que las operaciones definidas sobre la relación MOD m cumplen las propiedades de anillo y si m es un número primo, además cumple las de cuerpo.
