A definícióból következik, hogy a=b=0 esetén nem létezik az (a,b) legnagyobb közös osztó, hiszen a 0-nak minden egész szám osztója (lásd a 16.2. Tétel 3. pontját), így közöttük nincs legnagyobb.