theorem Th19: :: ABCMIZ_1:19

varcl Vars = Vars