set T = the Element of QuasiTypes C;
take the Element of QuasiTypes C ; :: thesis: the Element of QuasiTypes C in QuasiTypes C
thus the Element of QuasiTypes C in QuasiTypes C ; :: thesis: verum