( ∧ ∧ ) ⇒

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