This is a formal write-up of the first theorem we proved in class. You can use this as a template for your own write-ups. The notes in the comments of the code should provide a brief introduction to using LaTeX.
Template gifted to the UPenn community under the intention of helping alleviate workload for the Writing Seminar Craft of Prose.
Reading this, I hope you pay it forward by helping others around you and the broader community.