4.1 代入排除

代入排除