theorem Th72: :: SIN_COS:73

sin . (PI / 4) = cos . (PI / 4)