Proof.
For Property 1, View the MathML source, if View the MathML source, by (4), View the MathML source. Otherwise View the MathML source, by (5), we have View the MathML source. Property 1 holds.
For Property 2, View the MathML source, if View the MathML source and View the MathML source, then
View the MathML source