Encontrar todas las soluciones $(x,y)$ en enteros positivos para la ecuación $7^x-3\cdot 2^y=1.$
Resuelve por inspección. La parte difícil es demostrar que las que hallaste son todas.