13.3 一般形式推导