Monte Carlo evolution 2

Exponential average of the WORK over the ensemble

 Q.E.D.