En el ejemplo en la línea 3 tenemos: