Before revision: Proof : The following is taken from Grünwald, P. and Vitany , P. Algorithmic Information Theory.
After revision: Proof The following is taken from Grünwald, P. and Vitany , P. Algorithmic Information Theory.