You will eventually use this theorem to give the formal proof of the Heisenberg Uncertainty Principle.
Do problem 4 from p. 123 of Gasiorowicz:
Hint: In this problem Gasiorowicz is using a specialized
notation which you will use in 8.05 and 8.059. (For the things which
we do in 8.04, this notation doesn't make things much simpler.)
The notation,
however, is not very mysterious. The expression 
simply
means to take the two functions 
and 
and combine
them to make a single complex number by integrating one times the
other,
Because this form an intgral comes up often in Quantum Mechanics it is useful to have a special notation for it. If have trouble with this notation, simply translate what Gasiorowicz says into integrals and do what he suggests.
Alternate Assingment: If you are already familar with Gasiorowicz's proof and would like to try something more direct and different, you may instead do the proof by first explaining
where 
is defined to be the real part of the
complex number z, similar operations on
and then your results.