全域関数 f:N→N　について、ｆが帰納的関数であることと、
{(x,y)∈N^2|f(x)=y} が帰納的集合であることが、同値であること
を示すにはどうすればいいのですか？