Talk:Congruence ideal