(6.35)