The Doubling Map is Ergodic