Empty Set is Unique

Theorem
The empty set is unique.