import FormalConjectures.Wikipedia.NormalityOfPi
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "NormalNumber.pi_normal_base_ten" := by
  sorry

end Bounty