for x being variable holds varcl (vars x) = vars x