pell - proofs

October 16th, 2022