(7.25)