補題から、("k" +1)を "p" で割った余りは "k" +1を "p" で割った余りに等しい。