(4.55)