Все возможные значения простых по произвольному модулю

[fractalon]

Возникла следующая гипотеза: $(a,m)=1 \Rightarrow \exists p:\ p \equiv a \pmod m$, где p - простое.
Истинность утверждения кажется очевидной, но доказать пока никак не могу.

[gris]

А это не теорема Дирихле?

[fractalon]

Да, прогуглил - оказалось, она. Она даже круче. Спасибо.