General Associative Law for Ordinal Sum/Proof 2

Proof
From Ordinal Addition is Associative we have that:
 * $\forall a, b, c \in \On: a + \paren {b + c} = \paren {a + b} + c$

The result follows directly from the General Associativity Theorem.