Given:

derive: