consider T being Element of QuasiTypes C;
take T ; :: thesis: T in QuasiTypes C
thus T in QuasiTypes C ; :: thesis: verum