Finished proof of Markov Process approach to equil