theorem Th33: :: MATRIX_7:34

for n being Nat
for K being Ring
for p being Element of Permutations n
for f being FinSequence of K st n >= 1 & len f = n holds
f * p is FinSequence of K