P
Initializing...
Integrality of a square-root recurrence via a Pell invariant · Prove2Me