( ∧ ∧ ) ⇒

The converse ( ⇒ ( ∧ ∧ )) follows from
Id If Then
407
408
56
86
12
32
181