Markov_theorem loading ...