After considerable algebra, we get the expectation,