Доказана корректность краевой задачи для стационарной системы уравнений Стокса с условием «непроницаемости» на границе. Основными моментами доказательства являются аналоги неравенства Фридрихса и теоремы Де Рама. Получено так же неравенство Ладыженской–Бабушки–Брецци, отвечающее данной задаче.