By definition, we have

and