theorem Th64: :: SIN_COS6:64

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