import FormalConjectures.ErdosProblems.«386»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos386.erdos_386.variants.two" := by
  sorry

end Bounty