ex contrario

Лат. (доказательство) от противного