consider a being strict Subspace of V;
set D = {a};
take {a} ; :: thesis: for x being set st x in {a} holds
x is strict Subspace of V
thus for x being set st x in {a} holds
x is strict Subspace of V by TARSKI:def 1; :: thesis: verum