import FormalConjectures.ErdosProblems.«454»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos454.erdos_454" := by
  sorry

end Bounty