there exists a function ではなく
we may choose a functionになっているから
まちがいとはいえない
（by shrinking Y' if necessary)