@icecolbeveridge Hmm. Is there a way of doing it that isn't just wrapping up "prove the contrapositive" in a contradiction?
Assume n^2 even and n odd, say n=2m+1. Then n^2 = 4m^2 + 4m + 1, odd, so contradiction.