∀a∈N,a∉N,∃b∈N,a3−b2∈P.\forall a \in \mathbb{N},\sqrt a \notin \mathbb{N},\exists b \in \mathbb{N},a^3-b^2\in \mathbb{P}.∀a∈N,a∈/N,∃b∈N,a3−b2∈P.
P\mathbb{P}P 为全体质数.
