>>971
訂正 + と - 間違った
∀A,B,C,D∈R^3 (∃n,p∈R^3
(((1/2)(A+B)-p)・n=0 ∧ ((1/2)(B+C)-p)・n=0 ∧ ((1/2)(C+A)-p)・n=0 ∧ (D-p)・n=0)
⇒ ∃n',p'∈R^3 ((A-p')・n'=0 ∧ (B-p')・n'=0 ∧ (C-p')・n'=0 ∧ (D-p')・n'=0))

R^3 は普通の内積入ったベクトル空間と見ると