Tenemos, pues, la siguiente situación: