theorem :: SIN_COS:34

canceled;