import Mathlib
import FormalConjectures.ErdosProblems.«94»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos94.erdos_94.variants.regular_ngon" := by
  sorry

end Bounty