Empty Set is Unique

Theorem:The empty set is unique.