theorem Th25: :: SINCOS10:25

rng arcsec1 = [.0,(PI / 2).[