True. The hypothesis says that and commute under ordinal addition. By the commuting ordinal addition classification, comparison of their Cantor normal forms implies that and themselves commute. Thereforeso both outer expressions equal the middle one.
Articles by others on the same topic
There are currently no matching articles.