theorem Th21: :: SIN_COS3:21

sin_C /. 0c = 0