M1 - M2 = M1 + (- M2) ;
hence for b₁ being Matrix of n,K st b₁ = M1 - M2 holds
b₁ is central_symmetric ; :: thesis: verum