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