OliForum Matematico

Salve gente!

Oggi ho trovato sul Davenport il seguente risultato:

"L'equazione diofantea lineare ax+by=d ammette sempre soluzione nei NATURALI qualora (a,b)=1 ed inoltre d>ab. "

1-C'è qualcuno che mi sa indicare una qualche "denominazione commerciale" di questo teorema (se tale può venir chiamato) ?
2-C'è qualcuno che mi sa dare una dimostrazione di quanto sopra (oppure che mi sa dire dove trovarla) ?

Grazie,buon lavoro
Bourbaki

Non so se ho ben compreso, ma è chiaro che:
1.Se $ gcd(a;b)=g\neq 1 $, affinche le soluzioni siano naturali, dovrà essere $ g|d $, e solo in questo caso (che non è sempre verificato) avremo soluzioni in $ \mathbb{N} $.
2. Per il secondo punto, $ d>ab $, credo si possa dire meglio che $ d>ab-a-b $, dato che $ ab-a-b $ è l'ultimo numero che può non ammettere soluzioni in $ \mathbb{N} $; credo che la dimostrazione si basi sul fatto che il seguente è $ ab-a-b+1=(a-1)(b-1) $ e che $ ab $ è l'mcm fra $ a,b $ coprimi