(7.12)