import FormalConjectures.ErdosProblems.«91»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos91.erdos_91" := by
  sorry

end Bounty