4.3.2 基于蕴含系统的变换派生