P
Initializing...
trace(M²) = Σ_{ap} M^a_p M^p_a = 0 · Prove2Me