Section T11_1.
Context `{TnEQD:Tarski_neutral_dimensionless_with_decidable_point_equality}.

Lemma l11_10 : forall A B C D E F A' C' D' F',
CongA A B C D E F -> Out B A' A -> Out B C' C -> Out E D' D -> Out E F' F ->
CongA A' B C' D' E F'.