theorem :: SIN_COS:41

canceled;