theorem Th27: :: ABCMIZ_1:27

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