( ) ⇒

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