theorem Th61: :: POLNOT_1:61

for S being Polish-language
for q being Element of S ^^ 0 holds decomp (S,0,q) = {}