consider e being Element of V;
take e ; :: thesis: e is strict
thus e is strict by Def1; :: thesis: verum