(6.42)