theorem Th5: :: COMPLEX2:5

for a being Real holds
( sin (a - PI) = - (sin a) & cos (a - PI) = - (cos a) )