proof fuera de theorem. para poner la x como producto en entorno matematico usa \times