Is this a valid argument?
Suppose n is a real number. If n > 1, n^2 > 1. Suppose n^2 > 1, then n > 1
Suppose n is a real number. If n > 1, n^2 > 1. Suppose n^2 > 1, then n > 1