Minden euklidészi gyűrűben – és így a 17.19. Tétel miatt az egész számok \Z gyűrűjében is – teljesül a számelmélet alaptétele.