import FormalConjectures.ErdosProblems.«184»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos184.erdos_184" := by
  sorry

end Bounty