( ∧ ) ⇒

The converse ( ⇒ ( ∧ )) follows from
Id If Then
218
316
334
42
64
43 ( ∧ )