Sean $ a, b \in \mathbb{Z}$ que no son cuadrados perfectos. Demuestra que si \[ x^2 - ay^2 - bz^2 + abw^2 = 0\] tiene una solución no trivial en enteros, entonces también lo hace \[ x^2 - ay^2 - bz^2 = 0.\]