Ordinals under Multiplication form Semigroup

Theorem
$\struct {\On, \times}$ forms an semigroup, where:


 * $\On$ denotes the class of all ordinals
 * $\times$ denotes ordinal multiplication.

Proof
The result follows from Ordinal Multiplication is Closed and Ordinal Multiplication is Associative.