x⁴—1 因式分解