7 Si $a$, $b$, $x$, $y$ son enteros mayores que 1 tales que $a$ y $b$ no tienen factores comunes excepto 1 y $x^a = y^b$, demuestre que $x = n^b$, $y = n^a$ para algún entero $n$ mayor que 1.