set x = the Element of D;
take the Element of D ; :: thesis: the Element of D is strict
thus the Element of D is strict ; :: thesis: verum