theorem :: SIN_COS3:20

exp 0c = 1 by SIN_COS:49, SIN_COS:51;