(7.17)