Example 3.6 from Section 3.6
added my notes
Section 3.6: Normalization