theorem Th14: :: LANG1:14

for a, b being set st a <> b holds
Terminals (IterGrammar (a,b)) = {b}