Is ( y x 1 ) +2 and y + 2 equivalent