x(fνg^ν-gνf^ν)x=x22(f^ν(fν+1+gν+1)-g^ν(fν+1-gν+1)-fν(f^ν+1+g^ν+1)+gν(f^ν+1-g^ν+1))=12x(fνf^ν-fνf^ν+gνg^ν-gνg^ν),