(5.51)