(3.57)