Доведена теорема існування розв"язку нелінійної крайової задачі, що описує двокомпонентну модель переносу протонів у системах з водневим зв"язком при умові, що потенціальна функція залежить від зміщень протонів і важких іонів та відносних зміщень іонів.