Metropolis-Hastings Detailed Balance Theorem