"lineare Kongruenzgleichung" Englisch