import FormalConjectures.ErdosProblems.«936»
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "Erdos936.erdos_936.variants.two_pow_sub_one" := by
  sorry

end Bounty