https://i.imgur.com/pImgXOB.jpg
想请问定理6-10证明最后一行的与已知矛盾是和哪一项已知矛盾呢？
如果从原设“若G中无Hamilton cycle”证到最后一行“deg(a)+deg(b)<n”不是反而符合~q
→~p吗

跟"deg(x)+deg(y)>=n,for any 不相邻的x,y"矛盾这句话是前提是我们想从前提P推出结论Q，于是先假设~Q，证出一个跟P不相容的R，所以~Q是错的 这边要注意的是这个R不一定是~P，实际上这题"deg(a)+deg(b)<n"就不是~P了"存在不相邻的x,y属于V"