(* Lemma test14 : forall A B C : Point, S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C + S A B C + S B A C=0. *)

Lemma test16 : forall A B C : Point,
S A B C + S B A C = S A B C -> 0=0.