... bài toán tồn tại nghiệm thì tồn tại xA sao cho 0(,)Fxy với mọi yA nghĩa là ,yx với mọi ,yA điều này không thể xảy ra. Do đó bài toán vô nghiệm, lý do là (iii) bị vi phạm. ... 2,ySxyPx, tức là 0(,),Fxy với mọi 2().ySx Điều này có nghĩa là, tồn tại 1xSx sao cho 0(,)Fxy , với mọi 2ySx . Thông thường sự tồn tại nghiệm của bài toán luôn liên ... sao cho, với mọi \xAD, tồn tại yK , để 1().xSy Thật vậy, giả sử có (d’) và đặt NA là hữu hạn. Đặt NLconv(),KN thì với mọi x\,NLD tồn tại ,NyKL với 1().xSy...