Actualización: Siento que estoy haciendo algo muy mal aquí.
Gracias a todos por las grandes sugerencias. Voy a tomar las sugerencias y tratar de acortar mi prueba. De nuevo, ¡os agradezco a todos!
Demuestra que $x^3 - 6x^2 + 11x - 6$ es divisible por $3, \forall x \in \mathbb{Z}$ .
Hola, de nuevo. Espero que subir una imagen de mi prueba sea aceptable. Escribir la prueba sería doloroso, pero si es necesario escribir la prueba para recibir ayuda, entonces lo haré.
He intentado esta prueba utilizando varios métodos: directo, de contradicción y de inducción. Prueba directa utilizando el grupo aditivo de $\mathbb{Z_3}$ era lo único que parecía funcionar. Sin embargo, cuando elijo un entero fuera del grupo, sigo encontrando que tengo el mismo resultado. No sé si eso está bien. No sé si esta prueba es totalmente defectuosa o no. Gracias a todos por vuestra ayuda y paciencia.