Esto puede formularse como sigue: