"integer" in der Def. von Primdivisor ergänzt