theorem Th66: :: POLNOT_1:66

for T being Polish-language
for A being Polish-arity-function of T
for n being Nat holds Polish-expression-hierarchy (T,A,n) is T -headed