que se expresa diciendo que formula_4 "es congruente" con formula_5 módulo formula_6.