フェルマーの小定理(証明を含む)って初等整数論扱いですか?高校数学で理解できる範囲が初等整数論なんですか？