Existe al menos un "x" tal que "x" es cuadrado