¬ ⇒

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