import FormalConjectures.Wikipedia.ClassNumberProblem
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "ClassNumberProblem.class_number_problem" := by
  sorry

end Bounty