theorem :: SINCOS10:60

(cosec | [.(PI / 4),(PI / 2).]) * (arccosec2 | [.1,(sqrt 2).]) = id [.1,(sqrt 2).] by Th44, Th52, FUNCT_1:39;