(3.55)