
\documentclass[11pt]{article}
\def\Z{\mathbb{Z}}
\def\Q{\mathbb{Q}}
\def\R{\mathbb{R}}
\def\C{\mathbb{C}}
\usepackage{latexsym,amsmath,amssymb,epsfig}
\usepackage[all]{xy}
\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{0in}
\setlength{\textheight}{9.0in}
\setlength{\topmargin}{-0.5in}
\begin{document}
\begin{figure}
\begin{center}
\includegraphics[width=3in,height=3in]{EuclidI29.png}
\caption{Figure for Euclid I.29}
\end{center}
\end{figure}
\noindent
The statement is:  If lines $\overleftrightarrow{AB}$ and 
$\overleftrightarrow{CD}$ are parallel 
and line $\overleftrightarrow{GH}$ is a transversal, then 
\begin{enumerate}
\item[(a)] alternate interior angles are equal, 
\item[(b)] corresponding angles are equal, and 
\item[(c)] the interior angles on one side of
the transversal add to two right angles. 
\end{enumerate}
\end{document}
