Added the proof for normalize.
Merge pull request #2 from fletcherdss/master

Added the proof for normalize.