for Al being QC-alphabet st Al is countable holds
CQC-WFF Al is countable