二 代入定义法