import FormalConjectures.ErdosProblems.«1209»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos1209.erdos_1209.parts.iii.d" := by
  sorry

end Bounty