proposition: Lemma aire_triangle_ordre_permute : forall A B C : PO, aire_triangle A B C = aire_triangle A C B.
proof: Proof. unfold aire_triangle in |- *; intros. rewrite aire_anti_symetrique; rewrite Rabs_Ropp; auto. Qed.