⇒

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