Commuting ordinal addition
= Commuting ordinal addition
Nonzero ordinals commute under addition precisely when they are positive finite right multiples of a common ordinal. This follows by comparing their <Cantor normal form>[Cantor normal forms] at the first exponent where they differ.