( ∧ ) ⇒

The converse ( ⇒ ( ∧ )) follows from
Id If Then
218
42
350
285
415 ( ∧ )
183
413
184