↑ P で割ったあまりを表す型 ModuloInteger<P> の例、型パラのところに2 とか 3とかの「値」が入る