A detailed treatment of Doob's theorem