Let $x_1, x_2, x_3, \dots \in \{ -1, 1 \}$ be a D337: Integer sequence
Let $M \in \mathbb{Z}$ be a D995: Integer.

Then \begin{equation} \exists \, N, d \in \mathbb{Z} : \left| \sum_{n = 1}^N x_{d n} \right| > M \end{equation}