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"