"linear congruence theorem" Deutsche bedeutung