for x being variable holds varcl {x} = (vars x) \/ {x}