(4.57)