Участник:Isbur/Функциональный анализ I/Карточки/Существование пополнения