Encuentra todos los grupos de enteros positivos $ (a,x,y,n,m)$ que satisfacen $ a(x^n - x^m) = (ax^m - 4) y^2$ y $ m \equiv n \pmod{2}$ y $ ax$ es impar.