Ergodic Markov chains have a unique stationary distribution