( ) ⇒

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