The non-constructive proof does not construct an example a and b; it merely gives a number of possibilities (in this case, two mutually exclusive possibilities) and shows that one of them—but does not show which one—must yield the desired example.
Неконструктивне доведення не наводить приклад a і b; воно просто надає ряд можливостей (у цьому випадку, дві взаємовиключні можливості) і показує, що одна з них — незрозуміло яка — повинна задовольнити потрібний приклад.