math172: addec lec10 notes