>>278
z ∈ R に対して (z, 0) ∈ Ｒ_2 をとれば
f(z,0) = z であるので、 f(x,y) = z となる(x,y) が存在することが示される