9.3.1 例题