Argumentum a contrario

Доказательство от противного