Demostrar que para todo n perteneciente a los naturales:2 2^n+32^n+52^n

Es divisible por 19.

Sean a, b, c tres nmeros naturales tales que c= a + b .
Sea p un factor impar de a2+b2+c2(para la parte 3 y 4 ,p no divisible por 3) se
puede decir que por induccin que para todo n perteneciente a los naturales:
tal que

1. (a6n-4+b6n-4+c6n-4) es divisible por p.

2. (a6n-2+b6n-2+c6n-2) es divisible por p2.
3. (a2^n+b2^n+(a+b)2^n) es divisible por p.
4. (a4^n+b4^n+(a+b)4^n) es divisible por p2.
No obstante, se puede Notar que las propiedades 3 y 4 son casos particulares
de la 1 y 2, pero se pueden demostrar de manera independiente, sin embargo
para demostrar la parte 4 es necesario utilizar la parte 3. En la parte 3 y 4 se
agrega la condicin de que p no es divisible por 3 para no tener que hacer
demostraciones adicionales.