9.4.1 效用式