User blog comment:Vel!/1+w/@comment-5982810-20141011205641/@comment-2033667-20141011210349

It's not really an assumption. It's a simple consequence of the definition of ordinal arithmetic. I was just too lazy to replicate the proof that's already in the blog post.