theorem Th10: :: LANG1:10

for a being set holds Terminals (EmptyGrammar a) = {}