Pell seed normalization

Pell seeds are pinned: from $az_0^2-cx_0^2=a-c$ with $z_0=\pm 1$ and $c\ne 0$ follows $x_0^2=1$. Gives the sharp seed bound that growth arguments need.