for M being Matrix of COMPLEX holds M + (0_Cx ((len M),(width M))) = M