p is even

Even integers are those that are mutiples of 2. Since p² = 2q² we see that p² is even.

There are only two possibilites for p: either p is even or p is odd.

If p were odd then p² would also be odd, so p is even.