\documentclass[11pt]{article}
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{amsthm}
\newtheorem*{goal}{Goal}
\newcommand{\CC}{\mathbb{C}}
\newcommand{\ZZ}{\mathbb{Z}}
\setlength{\evensidemargin}{1in}
\addtolength{\evensidemargin}{-1in}
\setlength{\oddsidemargin}{1.5in}
\addtolength{\oddsidemargin}{-1.5in}
\setlength{\topmargin}{.5in}
\addtolength{\topmargin}{-1.5in}
\setlength{\textwidth}{16cm}
\setlength{\textheight}{23cm}
\newcommand{\dd}{\displaystyle}
\newcommand{\rook}{\hspace{-.1cm}\amalg\hspace{-.15cm}\bar{}}
\pagestyle{empty}
\begin{document}
\section*{Math 2001: Homework W5}
The following assignment will be graded with an emphasis on clarity of exposition. You should write in complete sentences, be as precise as possible, and be mathematically correct (both in content and format). Be sure to include a title, a short introduction to the topic, and to define all the relevant mathematical terms. The assignment should be \textbf{typed}.
\vspace{.25cm}
\noindent The goal of this assignment is to show that for all $C_{n,2}$ is either in bijection with either $C_{1,n}$ or $C_{3,n}$. Be sure to
\begin{enumerate}
\item[(a)] Give clear and precise definitions for the sets involved.
\item[(b)] State and proof the main theorem in the correct mathematical format (the theorem is not a section).
\item[(c)] Give a large example that helps illustrate your constructions.
\end{enumerate}
I will pay especially close attention with how well you convey the constructed functions abstractly.
\end{document}