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