Formal target: Corpus.OEIS232174.conjecture

**Zhi-Wei Sun's Conjecture (A232174)**: Any integer $n > 1$ can be written as $x + y$ with $x, y > 0$ such that both $x + ny$ and $x^2 + ny^2$ are prime.

Exact formal statement

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

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record