⇒

The converse ( ⇒ ) follows from
Id If Then
165