(** * Proposition 35 Parallelograms which are on the same base and in the same parallels are equal to one another. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container35"></div> # **)
(** * Proposition 36 Parallelograms which are on equal bases and in the same parallels are equal to one another. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container36"></div> # **)
(** * Proposition 37 Triangles which are on the same base and in the same parallels are equal to one another. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container37"></div> # **)
(** * Proposition 38 Triangles which are on equal bases and in the same parallels are equal to one another. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container38"></div> # **)
(** * Proposition 39 Equal triangles which are on the same base and on the same side are also in the same parallels. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container39"></div> # **)
(** * Proposition 40 Equal triangles which are on equal bases and on the same side are also in the same parallels. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container40"></div> # **)
(** * Proposition 41 If a parallelogram have the same base with a triangle and be in the same parallels, the parallelogram is double of the triangle. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container41"></div> # **)
(** * Proposition 42 To construct, in a given rectilineal angle, a parallelogram equal to a given triangle. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container42"></div> # **)
(** * Proposition 43 In any parallelogram the complements of the parallelograms about the diameter are equal to one another. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container43"></div> # **)
(** * Proposition 44 To a given straight line to apply, in a given rectilineal angle, a parallelogram equal to a given triangle. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container44"></div> # **)
(** * Proposition 45 To construct, in a given rectilineal angle, a parallelogram equal to a given rectilineal figure. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container45"></div> # **)
(** * Proposition 46 On a given straight line to describe a square. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container46"></div> # **)

Lemma prop_46 : forall A B, A<>B -> exists E D, Square A B E D.