( ) ⇒

The converse ( ⇒ ( )) follows from
Id If Then
337
287
11
37 ( )
104
35
119
282
12
283 ( )