Let $N \in \{ 1, 2, 3, \ldots \}$ be a D5094: Positive integer.
Then the following statements are equivalent
| (1) | $r_{N - 1}, \, \ldots, r_1, r_0$ is a D6263: Integer base-2 representation for $-1$ |
| (2) | \begin{equation} r_{N - 1} = \cdots = r_1 = r_0 = 1 \end{equation} |