Обсуждение:Неконструктивное доказательство