for G being non empty DTConstrStr holds Terminals G misses NonTerminals G