theorem Th3: :: QC_LANG1:3

for A being QC-alphabet holds
( NAT c= QC-symbols A & 0 in QC-symbols A )