import FormalConjectures.ErdosProblems.«913»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos913.erdos_913.variants.infinite_many_8p_sq_sub_one_primes" := by
  sorry

end Bounty