theorem Th51: :: POLNOT_1:51

for S being Polish-language
for m, n being Nat holds S ^^ (m + n) is S ^^ m -headed