Основная теорема Дедекинда

Существует такое вещественное число "а" ,которое является пограничным между числами обоих классов (которые образованы в результате сечения области веществ. чисел):

А1 < a < A2