Item
0.3.2.c
.
\(\displaystyle \{n^2+1 \st n \in \N\}\text{.}\)
in-context