theorem :: SIN_COS6:71

arcsin 0 = 0 by Th69, SIN_COS:31;