Su primer intento habría sido bueno si (1) usted ha dicho que "se multiplican todos los que juntos" en lugar de "agregar todos los que juntos" y (2) que había seguido durante un par de pasos más, por lo que se estaría multiplicando 4 (procedentes de 17 mod 13) a veces 3 (de 16 mod 13) 2 veces (desde el 15 mod 13) veces 1 (provenientes de 14 mod 13) los tiempos 0 (procedentes de 13 veces 13). Y entonces usted puede dejar, porque ahora su producto es cero y seguirá siendo cero no importa qué otra cosa se multiplica por. (A veces, la multiplicación de un montón de números en realidad es más fácil que la adición de ellos.)
Su segundo intento parece estar basada en un plausible idea, a saber, que el 17 es congruente a 4 mod 13, así que esperamos que 17! para ser congruente con el 4!. Por desgracia, esta expectativa no es la correcta.
Por otra parte, el fracaso de esta expectativa puede ser muy instructivo (tal vez no para ti, si ya sabes el siguiente, pero luego para los otros lectores). Los estudiantes a menudo se aburre de teoremas como "Si $a\equiv b\pmod n$$c\equiv d\pmod n$$a+c\equiv b+d\pmod n$", especialmente si el siguiente teorema dice lo mismo con la resta en lugar de sumar (es decir, $a-c\equiv b-d\pmod n$), y el teorema después de que dice la misma cosa para la multiplicación. ¿Por qué no podemos simplemente hacer una regla general de que la $\equiv\pmod n$ obras como la igualdad, así como la podemos reemplazar iguales por iguales y conseguir la igualdad de resultados, debemos ser capaces de reemplazar a los "congruents" por "congruents" y obtener resultados congruentes? Así, los teoremas decir esto funciona bien siempre y como todo lo que estamos haciendo es sumar, restar y multiplicar. Pero, como se vio en este problema, se hace no funciona cuando usted hace otras cosas a sus números, como tomar factoriales. Así que realmente hay algo de valor en esos aburridos teoremas --- lo que usted diga en que los contextos de la congruencia se comporta como la igualdad.