import FormalConjectures.ErdosProblems.«727»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos727.erdos_727.variants.k_2" := by
  sorry

end Bounty