f /" g = f (#) (g " ) ;
hence for b₁ being Function of T,R^1 st b₁ = f /" g holds
b₁ is continuous ; :: thesis: verum