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