Die Prämisse: „Für alle $ y $, wenn $ x \mid y $, dann $ y \mid x $“ — das bedeutet, dass $ x $ ein *algebraisch vollständig teilender* Integer ist, d.h. $ x $ ist ein *regulärer* Integer, nur $ \pm1 $ und $ 0 $ häufig erscheinen, aber formal gilt: - Nelissen Grade advocaten