theorem Th20: :: POLYALGX:20

for n being Ordinal
for L being non degenerated comRing holds Formal-Series (n,L) is mix-associative