theorem Th72: :: SIN_COS:73
sin . (PI / 4) = cos . (PI / 4)