ThmDex – An index of mathematical definitions, results, and conjectures.
F13542
Formulation 1
Let $N \in \{ 1, 2, 3, \ldots \}$ be a D5094: Positive integer.
Then $\underbrace{1, \, \ldots, 1, 1}_{N \text{ times}}$ is a D6263: Integer base-2 representation for $-1$.