import FormalConjectures.ErdosProblems.«153»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos153.erdos_153" := by
  sorry

end Bounty