用穷举法,即当问题有很多可能时,把所有可能都证明是错误的,那此问题就可证明是错的.
由于太烦,可让电脑去做.