(4.17)