theorem Th38: :: SIN_COS3:38

for x being Real holds sin_C /. x = sin . x