End T13.
Section T13_2D.
Context `{T2D:Tarski_2D}.
Context `{TE:@Tarski_euclidean Tn TnEQD}.

Lemma par_perp2__par : forall A B C D E F G H,
Par A B C D -> Perp A B E F -> Perp C D G H ->
Par E F G H.