theorem Th5: :: GRZLOG_1:3

Polish-atoms (GRZ-symbols,GRZ-arity) = VAR