theorem Th36: :: MATGRP_0:26

for R being Ring
for x, y being Element of R
for M1, M2 being Matrix of 1,R st M1 = <*<*x*>*> & M2 = <*<*y*>*> holds
M1 + M2 = <*<*(x + y)*>*>