import FormalConjectures.ErdosProblems.«317»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos317.erdos_317.variants.claim2" := by
  sorry

end Bounty