(5.54)