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