例句 /

It is proved that Heawood's counterexample is color.

It is proved that Heawood's counterexample is color.

应用证明五色定理的方法 (肯普链 ) ,证明了希伍德的反例是 -色的 .