Exact double-counting in combining the Dynamical Mean Field Theory and the Density Functional Theory