Squares as sum proof

squares-sum.mml

<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
 <semantics>
  <mtable>
   <mtr>
    <mtd>
     <mrow>
      <mi>x</mi>
      <mo stretchy="false">∈</mo>
      <mi mathvariant="normal">ℕ</mi>
     </mrow>
    </mtd>
   </mtr>
   <mtr>
    <mtd>
     <mrow>
      <mrow>
       <msup>
        <mi>x</mi>
        <mn>2</mn>
       </msup>
       <mo stretchy="false">=</mo>
       <mrow>
        <mi>x</mi>
        <mo stretchy="false">+</mo>
        <mn>2</mn>
       </mrow>
      </mrow>
      <mrow>
       <munderover>
        <mo stretchy="false">∑</mo>
        <mrow>
         <mi>n</mi>
         <mo stretchy="false">=</mo>
         <mn>1</mn>
        </mrow>
        <mrow>
         <mi>x</mi>
         <mo stretchy="false">−</mo>
         <mn>1</mn>
        </mrow>
       </munderover>
       <mi>n</mi>
      </mrow>
     </mrow>
    </mtd>
   </mtr>
   <mtr>
    <mtd>
     <mrow>
      <mrow>
       <msup>
        <mi>x</mi>
        <mn>2</mn>
       </msup>
       <mo stretchy="false">=</mo>
       <mrow>
        <mi>x</mi>
        <mo stretchy="false">+</mo>
        <mn>2</mn>
       </mrow>
      </mrow>
      <mrow>
       <mo fence="true" stretchy="false">(</mo>
       <mrow>
        <mfrac>
         <mrow>
          <mi>x</mi>
          <mo stretchy="false">−</mo>
          <mn>1</mn>
         </mrow>
         <mn>2</mn>
        </mfrac>
       </mrow>
       <mo fence="true" stretchy="false">)</mo>
      </mrow>
      <mrow>
       <mo fence="true" stretchy="false">(</mo>
       <mrow>
        <mrow>
         <mi>x</mi>
         <mo stretchy="false">−</mo>
         <mn>1</mn>
         <mo stretchy="false">+</mo>
         <mn>1</mn>
        </mrow>
       </mrow>
       <mo fence="true" stretchy="false">)</mo>
      </mrow>
     </mrow>
    </mtd>
   </mtr>
   <mtr>
    <mtd>
     <mrow>
      <mrow>
       <msup>
        <mi>x</mi>
        <mn>2</mn>
       </msup>
       <mo stretchy="false">=</mo>
       <mrow>
        <mi>x</mi>
        <mo stretchy="false">+</mo>
        <mi>x</mi>
       </mrow>
      </mrow>
      <mrow>
       <mo fence="true" stretchy="false">(</mo>
       <mrow>
        <mrow>
         <mi>x</mi>
         <mo stretchy="false">−</mo>
         <mn>1</mn>
        </mrow>
       </mrow>
       <mo fence="true" stretchy="false">)</mo>
      </mrow>
     </mrow>
    </mtd>
   </mtr>
   <mtr>
    <mtd>
     <mrow>
      <msup>
       <mi>x</mi>
       <mn>2</mn>
      </msup>
      <mo stretchy="false">=</mo>
      <mrow>
       <mi>x</mi>
       <mo stretchy="false">+</mo>
       <msup>
        <mi>x</mi>
        <mn>2</mn>
       </msup>
       <mo stretchy="false">−</mo>
       <mi>x</mi>
      </mrow>
     </mrow>
    </mtd>
   </mtr>
   <mtr>
    <mtd>
     <mrow>
      <msup>
       <mi>x</mi>
       <mn>2</mn>
      </msup>
      <mo stretchy="false">=</mo>
      <msup>
       <mi>x</mi>
       <mn>2</mn>
      </msup>
     </mrow>
    </mtd>
   </mtr>
  </mtable>
  <annotation encoding="StarMath 5.0">x in setN newline
x^2 = x + 2 sum from {n=1} to {x-1} n newline
x^2 = x + 2( {x-1} over {2} )(x - 1 + 1) newline
x^2 = x + x(x-1) newline
x^2 = x + x^2 - x newline
x^2 = x^2</annotation>
 </semantics>
</math>

squares-sum.mml.sig