a u {a} is an ordinal <-> a is an ordinal.

a is an ordinal -> a u Ua is an ordinal.

But it it does not hold for all a that

a u Ua is an ordinal -> a is an ordinal.

You should find a simple example of an a such that a u Ua is an ordinal but a is not an ordinal.