Формулировка и доказательство принципа в случае связей, выражающихся равенствами