import FormalConjectures.ErdosProblems.«155»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos155.erdos_155" := by
  sorry

end Bounty