(6-9)  We know, from Question 6-8, that our normalised wavefunctions are: