ex a being ordinal number st X c= a by SS;
hence union X is ordinal by ORDINAL3:4; :: thesis: verum