import FormalConjectures.ErdosProblems.«323»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos323.erdos_323.parts.i" := by
  sorry

end Bounty