Modulo est l'ablatif du nom latin modulus, mesure. Modulo 12 signifie : selon le module 12. Gauss utilisait plutôt la tournure secundum modulum. Congru provient du participe passé du verbe congruere, s'accorder.
books.google.com
Jean-Pierre Escofier, Toute l'algèbre de la Licence, Dunod, , 3e éd. (lire en ligne), p. 223.
Ou même relatif : J.-P. Marco et L. Lazzarini, Mathématiques L1, Pearson, (lire en ligne), p. 282.
Démontrées par exemple dans :
(en) Al Cuoco et Joseph Rotman, Learning Modern Algebra, Washington, Mathematical association of America, coll. « MAA Textbooks », , 459 p. (ISBN978-1-939512-01-7, lire en ligne), p. 134