( ∧ ) ⇒

The converse ( ⇒ ( ∧ )) follows from
Id If Then
268
326
156
330
36
37 ( ∧ )
20
35