a,bが自然数なら
b.2b.3b,…,ab
のa個の整数をaでわった余りはすべてことなる
よって余りが1となるものがあるから

こんな感じ