Implication Details

Assumptions: multi-algebraic

Conclusions: effective congruences

Reason: This is Thm. 4.0 in Yves Diers, Catégories Multialgébriques or its English translation.