[離散數學]圖論Dominating set 相關證明

老師是用矛盾證明，另外一張是我的證明，不知道可不可以?and 我用 for all y屬於V-D存在x屬於D使得{x,y}屬於E，來描述Dominating set 應該可以吧?