Ordinals under Multiplication form Monoid

Theorem
$\struct {\On, \cdot}$ forms an monoid, where:


 * $\On$ denotes the ordinal class, and
 * $\cdot$ denotes ordinal multiplication.

Proof
The result follows from Ordinals under Multiplication form Semigroup and Ordinal Multiplication by One.