Ar c'hevanion daveel a c'hell bout gwelet evel erdaloù a 'r c'hevanion naturel, en doare m'en deus an atalad x − y = z un disoc'h lazek holl gwerzhadoù x ha y ; teskad ar c'hevanion muiel ha leiel zo anvet teskad ar c'hevanion daveel. An teskadoù niveroù all a c'hell bout savet evel erdaloù tamm-ha-tamm kenaozetoc'h pe evel hollegadurioù adalek kevanion.