theorem Th21: :: ABCMIZ_1:21

for X being set holds the_rank_of (varcl X) = the_rank_of X