La formulación es la siguiente: