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