(7.76)