Changed ergodicity proof to follow K&T