(8.12)