Formal Proof

I used A.I. to format the formal proof.  The 2nd document is proof without any A.I.

Prior to the AI formatting the formal proof, this work was completed. Some individuals preferred to review my work without any AI involvement.