6.9 integrating using substitution