(6.57)