Prove theorem 10 from Manolios and Vroon’s JAR paper on ordinals.

This theorem states that their more efficient version of ordinal multiplication really does still perform multiplication.