有没有四元三次方程?