████████

Eine ████████ (von ██████████ ███████ ██████ ‚█████ ████‘) ist eine ██████████ ████, die █████ ████ ██████ hat (und █████ ██████ als █ ist). █████ ████ ██████ sind █ und die ████ ██████. Dabei ████████ ██████ ████████ „██████, das █████ (der █████)“, ██████ eine „███████████“ ███████ ist, die aus ██████ ███████ ███████████ ████ █████████████ ███████████ werden kann.

Die █████ der ██████████ wird in der █████ mit dem ██████ ${\displaystyle \mathbb{P}}$ ██████████. ███ ████ durch den ████ des ██████ seit der ██████, dass es █████████ █████ ██████████ ████. Mit ${\displaystyle \mathbb{P}}$ █████████ ist die █████ ${\displaystyle {\left(p_n\right)}_{n\in \mathbb{N}}}$ der nach █████ █████ ██████████ ██████████, die ███ auch █████████████ █████.

Die ██████████ ██████ sich unter ███████ mit █████ der ████████████████████ ${\displaystyle d(n)}$ ██████████:

${\displaystyle \mathbb{P}=\{n\in \mathbb{N}\mid d(n)=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\}}$

Es ist ███████

${\displaystyle \mathbb{P}=\{p_n\mid n\in \mathbb{N}\}\subset \mathbb{N}}$

mit

${\displaystyle {\left(p_n\right)}_{n\in \mathbb{N}}=(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\mathrm{<span\; word-length="2"\; class="word\; redacted">██</span>},\dots )}$ (█████ ███████ in ████).

Die █████████ der ██████████ ███ █████ ████████ der ██████████ ██████ auf ████████ ███████████ aus █████ ██████████. Vor allem ist ████ der ███████████████ der ██████████ zu ██████, der die ████████ und █████████████ der ███████████████████ einer ███████████ ████ ███████. Denn danach █████ sich ████ ██████████ ████, die ██████ als █ und ██████ █████ ████████ ist, auf █████ eine ███ und █████ – von der ███████████ der ████████ █████████ – als ███████ von ██████████ ████ ██████████ █████████.

Der ██████ des █████████████████ ██████ auf dem █████ von ██████: Eine ████████, die ein ███████ ██████ ███████████ ██████ █████, ist █████ ██████ von ██████████ einer ██████ beiden ██████. ████ ████████ ████████████, dass ██████████ sich nicht als ███████ ██████ ███████████ ██████, die beide ██████ als █ sind, ██████████ ██████.

Die █████████ █████████████ werden in der ███████ ███ ███████████████████ des ████████████████ ███████.

Eine ████, die das ███████ von ████ oder ████ ████████████ ist, █████ ███ ████████████████ ████. Die ██████ █ und █ sind █████ ████ ████ ███████████████. Alle ███████ ███████████ ██████ sind eines von beiden, entweder ████ (also ████████) oder ███████████████.