>>651 の続き

(2)条件"任意のa,b∈Aに対して、b=aq+r,f(r)<f(a)またはr=0
となるq,r∈Aが存在する"
を満たすようなf:A→Nは存在しないことを示せ。Nは自然数の集合