a∧3+a∧2-a-1 因式分解