theorem Th15: :: MEASUR10:17

for n being non zero Nat
for X being non-empty b₁ -element FinSequence
for S being SemialgebraFamily of X holds SemiringProduct S is semialgebra_of_sets of product X