In the second solution. For proofing the bilinearity of anti-commutator it is sufficient to show linearity in the first argument. Then use that it is symmetric.
Beni (talk) 16:42, 24 June 2015 (CEST)