a in QuasiAdjs C ;
then {a} c= QuasiAdjs C by ZFMISC_1:31;
then {a} \/ (adjs T) is Subset of (QuasiAdjs C) by XBOOLE_1:8;
hence [({a} \/ (adjs T)),(the_base_of T)] is quasi-type of C by Th73; :: thesis: verum