二、代入定义法