(a^2+b^2+c^2+d^2-e^2-f^2)^2 + (2a*e+2d*f)^2 + (2a*f-2d*e)^2 + (2b*e)^2 + (2b*f)^2 + (2c*e)^2 + (2c*f)^2 = (a^2+b^2+c^2+d^2+e^2+f^2)^2