Пусть $g$ — примитивный корень по модулю простого $p$. Докажите, что $g^k$ является примитивным корнем по модулю $p$ тогда и только тогда, когда $\gcd(k, p-1) = 1$. Сколько примитивных корней существует по модулю $17$?