En el caso particular de este ejemplo,