Ну да, Клеро.
P(x) = x => P(y') = y'.