第9章 推移律