Section Book_1_part_5.
Context `{T2D:Tarski_2D}.
Context `{TE:@Tarski_euclidean Tn TnEQD}.
(** * Proposition 32 In any triangle, if one of the sides be produced, the exterior angle is equal to the two interior and opposite angles, and the three interior angles of the triangle are equal to two right angles. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container32"></div> # **)
(** * 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.