Give a formal proof that if n and m are integers, then nm is a square.

You may only use the the logical equivalencies and inference rules in the links provided:

https://courses.cs.washington.edu/courses/cse311/18sp/documents/LogicalEquivalence.pdf

https://courses.cs.washington.edu/courses/cse311/18sp/documents/inference_rules.pdf

5. Hip to be square (20 points) We say that an integer n is a square iff there exists a k Z such that n-k2 (a) [10 Points Give a formal proof that, if integers n and m are squares, then nm is a square. In addition to the inference rules discussed in class, you can also rewrite an algebraic expression to equivalent ones using the rule "Algebra" (b) [10 Points] Write your proof from part (a) as an English proof. 5. Hip to be square (20 points) We say that an integer n is a square iff there exists a k Z such that n-k2 (a) [10 Points Give a formal proof that, if integers n and m are squares, then nm is a square. In addition to the inference rules discussed in class, you can also rewrite an algebraic expression to equivalent ones using the rule "Algebra" (b) [10 Points] Write your proof from part (a) as an English proof