Theorem. Fundamental Solution of the Pell Equation [004O]

The minimum element of the set is well-defined. We call this element the fundamental solution of the Pell equation and denote it by .

Proof. TODO