theorem :: SIN_COS6:72

arcsin 1 = PI / 2 by Th69, SIN_COS:77;