import FormalConjectures.ErdosProblems.«364»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos364.erdos_364.variants.strong" := by
  sorry

end Bounty