reconsider F = f as Function of T,R^1 by TOPMETR:17;
F is continuous by JORDAN5A:27;
hence for b₁ being Function of T,(TOP-REAL 1) st b₁ = |[f]| holds
b₁ is continuous ; :: thesis: verum