{(VERUM Al)} is Consistent by Th13;
hence ex b₁ being Subset of (CQC-WFF Al) st b₁ is Consistent ; :: thesis: verum