13.3 代入法