(6.56)