Every ordinal can be written uniquely in the form of a finite sum of non-increasing powers of , where , or equivalently, where .
Hint. For the uniqueness, prove first by induction on that if and , then .
I do not see how to use the hint to prove this. I would appreciate some hints on this. Thanks.