Al utilizar la definición se tiene: