Formal target: Corpus.OEIS231201.conjecture

The conjecture for sequence A231201: for any $n > 1$, there exist $x, y > 0$ such that $n = x + y$ and $2^x + y$ is prime.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 1 n → Corpus.OEIS231201.A n

This target is a formal statement, not a proof of the problem.

Environment availability: available.