( ) ⇒

The converse ( ⇒ ( )) follows from
Id If Then
218
284
245
58
42
294