import FormalConjectures.Wikipedia.PrimesAndPerfectSquares
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "PrimesAndPerfectSquares.infinite_prime_sq_add_one" := by
  sorry

end Bounty