>>490 補足

https://rio2016.2ch.net/test/read.cgi/math/1486393106/113
分からない問題はここに書いてね424
（引用開始）
113 名前：１３２人目の素数さん[sage] 投稿日：2017/02/10(金) 21:24:50.95 ID:mdV35Rg3
「ガロア理論の頂を踏む」（石井俊全）(https://www.amazon.co.jp/dp/4860643631)
を読んでいます。
1章94ページ

「h を (Z/pZ)* の原始根とします。このとき、h の mod p^n での位数を m とします。
h^m ≡ 1 (mod p^n) より、h^m ≡ 1 (mod p) で、h の mod p での位数が p - 1ですから、m は p - 1 で割り切れます。m = s(p - 1) とします。すると、h^s の mod p^n での位数は p - 1 です。ここで g = h^s をおきます。
1, g, g^2, …, g^(p-2)
は、h で表すと指数がすべて m = s(p -1) 以下ですから、mod p^n でみてすべて異なります。もちろん、mod p で見たときもすべて異なります。」

ここで最後の「もちろん、mod p で見たときもすべて異なります。」にギャップを感じており、すなおに「はい」といえません。「もちろん」というキーワードに驚いています。
この最後の部分はどうしていえるのでしょうか？よろしくお願いいたします。
（引用終り）

石井氏の「頂を踏む」のP94には、この記述はない
はて？　分からない問題はここに書いてね424の住民はだれもこのことを指摘しない
まあ、語るに落ちたね
しょせん、２ちゃんねるか