theorem Th70: :: SIN_COS:71

tan | [.0,1.] is continuous