⇒ ¬

The converse ( ¬ ⇒ ) cannot be proven or disproven from other known theorems