>>552-553
いや、やはりf:R^2→R^2は収縮写像として扱えないから、
不動点定理は使えず、>>615は取り消し。当初の直観は正しかったようだ。