三 排除归纳法