Ha a és b tetszőleges egész számok, és 0\lt b, akkor az a|b oszthatóságból következik, hogy a\leq b. Azaz tetszőleges pozitív egész szám legalább akkora, mint bármely osztója.