pを素数としたとき、{1,2,‥,p-1} がmod pの乗法で群になることは
わかるんですが、巡回群になることはどうやって証明するんでしょうか？