La demostración clásica inicia considerando el conjunto de las combinaciones lineales enteras "ax + by" de los enteros "a, b" dados, y elige el mínimo elemento positivo, digamos "d", de ese conjunto.