(4.23)