theorem Th74: :: ANPROJ_8:91

for R being Ring
for N being Matrix of 3,R
for p being FinSequence of R st len p = 3 holds
N * (<*p*> @) is 3,1 -size