令x1=m1^2+n1^2；x2=m2^2+n2^2；x1*x2=(m1^2*m2^2+n1^2*n2^2+2m1*m2*n1*n2)+(m1^2*n2^2+m2^2*n1^2-2m1*m2*n1*n2)=(m1*m2+n1*n2)^2+(m1*n2+m2*n2)^2属于M。
