The Real Spectrum of the Imaginary Cubic Oscillator: An Expository Proof