consider x being Element of D;
take x ; :: thesis: x is strict
thus x is strict ; :: thesis: verum