Template for proofs in Discrete and Argumentative Mathematics

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$.