Square Root of Number Plus or Minus Square Root

Theorem
Let $a$ and $b$ be (strictly) positive real numbers such that $a^2 - b > 0$.

Then: