Wilson teoreminden $p$ asal olmak üzere $(p-1)!\equiv -1\mod p$ olduğundan $$126!\equiv-1\mod 127$$ yazabiliriz.
$$126!\equiv126\cdot125\cdot124\cdot123!\equiv(-1)(-2)(-3)\equiv(-6)\cdot123! \mod 127$$ $$123!=(\dfrac{-1}{6})126!\equiv(\dfrac{126}{6})126!\equiv21\cdot126!\equiv-21\mod127$$ $$123!+21\equiv-21+21\equiv0\mod127$$