import FormalConjectures.ErdosProblems.«428»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos428.erdos_428" := by
  sorry

end Bounty