Ecuaciones de verificación