(** * Proposition 33 The straight lines joining at the extremities equal and parallel straight lines which are in the same directions are themselves also equal and parallel. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container33"></div> # **)

Lemma prop_33 : forall A B C D,
TS B C A D -> Par A B C D -> Cong A B C D ->
Cong A C B D /\ Par A C B D.