import FormalConjectures.ErdosProblems.«835»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos835.erdos_835" := by
  sorry

end Bounty