proof that the sum of diagonal matrices is diagonal