>>763

自然数全体の集合を1以上の整数全体の集合としてみなすとし、
Nを自然数全体の集合とする。

すると、 x,y∈N ⇒ x,y≧1

ということは、 x^4=y^2 ⇔ x^2=y

つまり、yは平方数であることが必要であり、
　逆にyが平方数であるならば、たとえば、
　　y=k^2 (k∈N)と表現するならば、
　　x^2=y より、 x^2=k^2 で、
　　 x=k (x,k≧1ですから）が得られ、
　　すなわち、yが１つの平方数に定まると、
　　それに応じて、xがただ１つに定まることを意味する。
　　　終わり。