This is something covered in Linear Programming

Strong Duality Theorem

If the primal or the dual has an optimal solution of finite value, then so does the other and the values of the optimal solutions are the same.

I was introduced through this video.