Die Aussage $ orall y\ (x \mid y \Rightarrow y \mid x) $ ist **nur wahr**, wenn $ x $ ein **lattice complète teiler** ist — d.h., wenn $ x $ *positiv* oder $ x = 0 $ ist, und besonders, wenn $ x = \pm1, 0 $, aber für $ |x| > 1 $: