; Limit(`x^2*x^2`/`(x^2+x^2)`,x=0) = Limit(x^2*x^2/(x^2+x^2),x=0);