Zero and One are the only Consecutive Perfect Squares

Theorem
If $$n$$ is a perfect square other than $$0$$, then $$n+1$$ is not a perfect square.

Proof
Suppose $$P(n+1)$$. Then $$n+1 = k^2$$ for some $$k$$. Then:

$$ $$

As $$(k+1) \neq (k-1)$$, $$n$$ is not a perfect square, so we have:

$$P(n+1) \to \neg P(n)$$ To which the contrapositive is $$P(n) \to \neg P(n+1)$$