theorem Th91: :: MATGRP_0:78

for R being Ring
for S being Subring of R
for a, b being FinSequence of S
for A, B being FinSequence of R st a = A & b = B holds
mlt (a,b) = mlt (A,B)