В математике теперь доказательства не от противного, а от мерзкого.