Si x e y son sumas de dos cuadrados, entonces xy también lo es