Adapted from Twenty Seconds Resume/CV
Version 1.0 (14/7/16) from
Carmine Spagnuolo (firstname.lastname@example.org)
The MIT License (see included LICENSE file)
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$.