(5.115)