I do not agree. The first theorem tells us that such a functional exists, but nothing about what it could look like. There is clearly a connection between the theorems, but they tell us very different things.