consider z being Element of Q;
take P --> z ; :: thesis: P --> z is continuous
thus P --> z is continuous by Thcontinuous02; :: thesis: verum