theorem Th13: :: HENMODEL:13

for Al being QC-alphabet holds {(VERUM Al)} is Consistent