(** This is Euclid Book I, Proposition 24. *)

Lemma lta_suppa2__lta : forall A B C D E F A' B' C' D' E' F',
SuppA A B C A' B' C' -> SuppA D E F D' E' F' -> LtA A B C D E F ->
LtA D' E' F' A' B' C'.