A factorization of the form 2^(4n + 2) + 1 = (2^(2n + 1) - 2^(n + 1) + 1)(2^(2n + 1) + 2^(n + 1) + 1). The factorization for n = 14 was discovered by Aurifeuille, and the general form was subsequently discovered by Lucas.