"lineares Kongruenzentheorem" Englisch