(4.25)