theorem :: EUCLID10:10

for a being Real holds cos (((3 * PI) / 2) + a) = cos ((PI / 2) - a)