(* 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. *)

(* Specifications: *)
Lemma test15 : forall A B C : Point,
S A B C = 0 -> 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.