"solvable congruence" Deutsche bedeutung