Formal target: Corpus.WikipediaBrennanconjecture.brennan_universalSpectrum

Brennan's conjecture, part 1: $B(-2) = 1$.

Exact formal statement

Eq.{1} (Corpus.WikipediaBrennanconjecture.universalSpectrum (-2)) 1

This target is a formal statement, not a proof of the problem.

Environment availability: available.