Định lí farkas mở rộng cho hệ có chứa ràng buộc lồi đảo và ứng dụng nghiệm thu