theorem :: DTCONSTR:14

for nt being Symbol of PeanoNat holds TerminalLanguage nt = {<*0*>}