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

thus f is negative-yielding ; :: thesis: f is continuous

thus f is continuous by Lm1; :: thesis: verum