>>475
y∈Yについてy=f(x)となるx∈Xが少なくとも一つあるんだから、
その中の一つを選んで対応させてgを作ればgf=id_yになる。