( ) ⇒

The converse ( ⇒ ( )) follows from
Id If Then
218
42
350
285
415 ( )
183
413
184