import FormalConjectures.Wikipedia.Goormaghtigh
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Goormaghtigh.goormaghtigh_conjecture" := by
  sorry

end Bounty