take f = X --> 0c; :: thesis: f is continuous
thus f is continuous ; :: thesis: verum