( ) ⇒

The converse ( ⇒ ( )) follows from
Id If Then
114
86
32
118
119
149