(6.40)