Доказательство от противного. Допустим, мои носки воруют не инопланетяне, а кот. Но у меня нет кота. Возникло противоречие. Значит, исходное предположение неверно.