(7.57)