Ecuación y comprobación