theorem Th20: :: GOEDELCP:20

for Al being QC-alphabet st Al is countable holds
( not ExCl Al is empty & ExCl Al is countable )