"congruence theorem" Deutsche bedeutung