import FormalConjectures.ErdosProblems.«323»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos323.erdos_323.variants.k_gt_2" := by
  sorry

end Bounty