for A being Ordinal holds card A c= A