theorem Th10: :: FOMODEL2:10

for S being Language holds AtomicFormulasOf S is S -prefix