La congruenza $ax \equiv \ (\text{mod } m )$ ha almeno una soluzione se e solo se Il massimo comune divisore tra $a$ ed $m$ divide $b$