(6.17)