Ha a és b tetszőleges egész számok, és közülük legalább az egyik nem 0, akkor létezik az (a,b) legnagyobb közös osztó.