Continuación de su trabajo sin la evaluación de 9! explícitamente:
51!9!\equiv 1 \mod 61
51! 2(3)(4)(5)(6)(7)(8)(9) \equiv 1 \mod 61
Desde 2(5)(6)=60,
51! (60)(3)(4)(7)(8)(9) \equiv 1 \mod 61
51! (-1)(3)(4)(7)(8)(9) \equiv 1 \mod 61
51! (3)(4)(7)(8)(9) \equiv -1 \mod 61
Desde 9(7)=63,
51! (3)(4)(8)(63) \equiv -1 \mod 61
51! (3)(4)(8)(2) \equiv -1 \mod 61
Desde 2(4)(8)=64,
51! (3)(64) \equiv -1 \mod 61
51! (3)(3) \equiv -1 \mod 61
51! (9) \equiv -1 \mod 61
Vamos a hacer el algoritmo de Euclides para calcular 9^{-1} \mod 61:
61=9(6)+7
9=7+2
7=3(2)+1
Por lo tanto 1=7-3(2)=7-3(9-7)=4(7)-3(9)=4(61-9(6))-3(9)=4(61)-27(9)
9^{-1}\equiv -27 \mod 61.
Por lo tanto 51!\equiv 27 \mod 61