theorem Th24: :: ABCMIZ_1:24

for A being finite Subset of Vars holds varcl A is finite Subset of Vars