This is the 6th project for Calc1 at Fitchburg State. Students are walked through the steps to justify the different pieces of the Fundamental Theorem of Calculus and make connections between the two parts.
This is the template for DAM (discrete and argumentative mathematics).
We prove theorem $2.1$ using the method of proof by way of contradiction. This theorem states that for any set $A$, that in fact the empty set is a subset of $A$, that is $\emptyset \subset A$.