set e = the Element of V;
take the Element of V ; :: thesis: the Element of V is strict
thus the Element of V is strict by Def1; :: thesis: verum