theorem :: SIN_COS6:67

arcsin * (sin | [.(- (PI / 2)),(PI / 2).]) = id [.(- (PI / 2)),(PI / 2).] by Lm15, Th62, FUNCT_1:39;