Sia $ax +by = x$ un’equazione diofantea. Questa ha soluzione se e solo se $MCD(a,b)=d$ divide $c$.
$$ ax +by = x \ \text{ ha soluzione} \Longleftrightarrow MCD(a,b)| c $$
todo