(** Characterization of SAMS using LeA. *)

Lemma conga2_sams__sams : forall A B C D E F A' B' C' D' E' F',
CongA A B C A' B' C' -> CongA D E F D' E' F' ->
SAMS A B C D E F -> SAMS A' B' C' D' E' F'.