consider A being non empty set , J being interpretation of A, v being Element of Valuations_in A;
J,v |= VERUM by VALUAT_1:44;
then for p being Element of CQC-WFF st p in {VERUM } holds
J,v |= p by TARSKI:def 1;
then J,v |= {VERUM } by CALCUL_1:def 11;
hence {VERUM } is Consistent by Th12; :: thesis: verum