(4.30)