А инопланетяне есть! Сам факт нашего существования это доказывает.
Существование людей - условие достаточности,
а существование иных цивилизаций - есть условие необходимости.
P.S. Кто смыслит в высшей математике, тот понял...