theorem Th19:
  Al is countable implies
  CQC-WFF(Al) is countable
proof
    assume A1: Al is countable;
    QC-WFF(Al) is countable by Th18,A1;
    hence thesis;
end;
