Para cada \(n\) número natural se define \(A_n = 2^n + 2^{2n} + 2^{3n}\).
1. Demostrar que para cualquier valor de n, \(A_{n+3}\) es congruente con \(A_n\) módulo \(7\).
2. Encontrar para qué valores de \(n\) se verifica que \(A_n\) es divisible por \(7\) (utilizar el resultado anterior).