(9.12)