( ∧ ) ⇒

The converse ( ⇒ ( ∧ )) follows from
Id If Then
33
32
118
119
146