639は563をみても意味がわからないんじゃない？

たとえば、f(x,y,z)=x^2+y^2+z^2-1 により、
3次元球面上で関数fを定めれば、恒等的に f=0 がいえるという。
639はたぶん写像・集合の概念も危ういのだと思われる。