Irrational Rotations are Ergodic