Пусть дано множество. Что Вы хотите доказать? — Утверждение о том, что любой элемент пустого множества является элементом данного.
Пусть это не так. Напишите, что это значит. Это верно? — Очевидно, нет (понятно почему?). Значит, верно исходное утверждение.
Подробно — в ответе Надежды Шиховой.