import FormalConjectures.Wikipedia.Hadamard
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Hadamard.HadamardConjecture" := by
  sorry

end Bounty