aurifeuillean factorization