To check that you've successfully completed a proof, change the Admitted directly after FILL IN HERE to Qed and process the buffer through the Qed.
EC: If you're feeling ambitious, you may additionally complete *all* the exercises in the four files listed above for a small amount of extra credit! — if you do these exercises, put something like "I completed the EC" somewhere in your README.
Once you're done, submit through Blackboard the four files listed above as a single .tar file, before the beginning of class on Wednesday, 9/7 (Monday, 9/5 is a holiday).