(5.71)