take f = the carrier of T --> (- jj); :: thesis: ( f is negative-yielding & f is continuous )
thus f is negative-yielding ; :: thesis: f is continuous
thus f is continuous by Lm1; :: thesis: verum