theorem Th23: :: SIN_COS3:23

cos_C /. 0c = 1