(5.118)