### Setup

Put these two things in your preamble.

We use the amsthm package.

The following sets up the styling and formatting of the environments.