Use the associativity of ordinal multiplication!
I'm working on a proof about Cantor Normal Form. In our notes we have that and as part of the proof I think I need to find a similar equation of the form
Can anyone suggest how I would find finish this equation?
Just to put it in perspective, this is the question I'm doing:
Let be a limit ordinal with Cantor Normal Form given by and . Prove that .
EDIT: sorry I should specify that , and are ordinals and is a positive integer.