クンマーの合同式でよく出てくる分数の合同式．あの合同式はうまく定義されているんだろうか． をそれぞれ既約分数として、 が と素であるとする．このとき「分数の合同式」をを計算し，既約分数で表示したときの分子が で割り切れること，と定義する． 気に…