theorem :: MATRIX_3:20

for K being Ring
for a, b being Element of K holds <*<*a*>*> * <*<*b*>*> = <*<*(a * b)*>*>