theorem Th63: :: POLNOT_1:63

for S being Polish-language
for q being Element of S ^^ 1 holds decomp (S,1,q) = <*q*>