>>890,891
f((a,b))が2点以上からなると仮定して証明するようなのですが、
自明なのでしょうか？