QC-WFF A is non empty A -closed set by Def11;
hence <*[0,0]*> is QC-formula of A by Def10; :: thesis: verum