En el ejemplo,