theorem :: SIN_COS6:70

arcsin (- 1) = - (PI / 2) by Th7, Th69;