(** * Proposition 27 If a straight line falling on two straight lines make the alternate angles equal to one another, the straight lines will be parallel to one another. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container27"></div> # **)

Lemma prop_28_2 : forall A C G H P Q R, OS G H A C -> SumA A G H G H C P Q R -> Bet P Q R ->
Par A G C H.