(7.58)