theorem Th35: :: MATGRP_0:25

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)*>*> by MATRIX_3:20;