MathCastle
Proof WritingChallengeWriting It Up

Writing It Up · Challenge problem

A draft proof reads: "Suppose n2n^2 is even. Then n=2kn = 2k for some integer kk." Which fact must be stated to justify the second sentence?