That's a very good question. I think the simplest approach to prove it would be to show that both computations yield the global minimum. Since there is only on

That's a very good question. I think the simplest approach to prove it would be to show that both computations yield the global minimum. Since there is only one global minimum, then they must be equal.