\usepackage{mathe} \usepackage{saetze-schmoeger} \usepackage{listings} \def\MdP{\ensuremath{\mathbb{P}}} \def\MdF{\ensuremath{\mathbb{F}}} \def\MdNp{\ensuremath{\mathbb{N}_+}} \def\ggt{\mathop{\rm ggT}\nolimits} \def\kgv{\mathop{\rm kgV}\nolimits} \def\relp{\mathop{\rm Relp}\nolimits} \def\ord{\mathop{\rm ord}\nolimits} \def\dis{\mathop{\rm dis}\nolimits}