Par définition,
, et donc