cyclotomic polynomial 22