P
Initializing...
Σ_ab (Σ_cd F_ac gⁱ_cd F_bd) k^a k^b = Σ_cd gⁱ_cd y_c y_d, y_c = Σ_a F_ac k^a · Prove2Me