Definition:Aurifeuillian Factorization/Examples