( ∧ ) ⇒

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