猫史档案馆

x的定义域为[0,2]，y=2-x。x+y都是2，且x、y均可在[0,2]表示。
想象x在0点，y在2，以1做轴，相互靠近。
x与y会在1点相逢，[0,2]只有1个1，可1本身仍为自然数。
证毕