Added the proof for normalize.