# Template for proofs in Discrete and Argumentative Mathematics

Author
stanley
AbstractThis 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$.