import FormalConjectures.ErdosProblems.«23»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos23.erdos_23" := by
  sorry

end Bounty