for A being Ordinal holds A c= Rank A