>589
(y-1)=2の場合 成り立つのはx=4の場合の(y+1)=4のみでx=4以外の場合は(y+1)≠xとなり成り立たない

その通りです。