f - g = f + (- g) ;
hence for b1 being Function of T,R^1 st b1 = f - g holds
b1 is continuous ; :: thesis: verum