theorem Th68: :: SINCOS10:68

arccosec2 * (cosec | ].0,(PI / 2).]) = id ].0,(PI / 2).] by Lm28, Th28, FUNCT_1:39;