Item
0.3.2.d
.
\(\displaystyle \{n \in \N \st n = k^2 + 1 \text{ for some } k \in \N\}\text{.}\)
in-context