theorem Th66: :: SIN_COS6:66

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