import FormalConjectures.ErdosProblems.«479»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos479.erdos_479" := by
  sorry

end Bounty