短语词组短语counter -example proof 反例证明Gegenbeispiel counter -example 反例making counter -example 构造反例the structure counter -example 构造反例Heawood 's counter-example 反例counter example -guided 反例引导 返回 counter-example