(7.23)