Negative theorem

a theorem which expresses the impossibility of any assertion.

See also: Theorem