零ベクトル とする．このときベクトルがつり合う条件は 三次元 である． (証明の方針) ① ∀-除去 及び基点に関して∃-仮定を行う． ② に対して 平行移動 について 平行移動 したがって が成立する．ここでと置けば を得る． ④ であるから と成る．そして，∃-導…