██████ ████████

██████ ████████ (██████████: ██████████ ███) ██ ███ █████ █████ ████ ████ ███ ████ ████ █████████ ████████ ██ ██ ████ ████ ███████ ███ ████ ████ ████ █████ ███████ ██████████. ██ ████ ██████ ████████ ██ ██████ ███████ ████ ██████ ███ █████ ███████. █████ ██████ ████████ ███████ █████ ████████ █████ (██████ ██████ ███ █████ █████ ██ ███ ██████). ████ ███ ████████ ████ █████ ████ ███ █████ ████████ ████ █████ ███████ .

███████ ████████ ██████ ██ ██████████ ███████، ███ ████ ███ ███ ████ ███ ██ ███ █████ █████████ █████████ ████ ████ ███████ █████ ██ █████ █████ ███████. ███ ████ █████ ████████ ████ ██ ███ █████ █████. █████ █████ ███████ "█████ ████████"، ████ ███ ██ ███ ████, ████ ██ █████ █████ █████████. ██ ███ ███ ██ ████ ███ ████، ███ ████████ ████ ████████ ████ ███, ████ ███ ██ █████ █████ ███ ██ ██ ██ ███ ██ ███████ ██ ████████ ███████.

███ ████████ ████ ██████████ ████████ ██████ █████████ ██ █████ ████ ███ ████.

███ ███████ ████████ ████████ ███████ ████████ ████ ██ ███ ██ ██ ██████ █████ ████ ███ ██████ ████ █. ███████ ██████ ████ ██████ ██████ ██████ ██ ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$، ████████ ██████ ████████ ██████ █████████.

████ ██████ ████████ ██████ ██████ ███████ ██████ █████████ ███████

${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:\mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}}$

███

${\displaystyle {\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>}\mapsto {\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>},}$

█ █ ████ ████. ███████ █████ █████ ██████ █، ████ ███ ████ █████████ ███████

${\displaystyle (\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="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="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="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>}))),\dots )}$

████ ████ █████ █████ ████ ${\displaystyle {\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>})}$ ████ █████ ██████ ██ ██████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$. █████ █████████ █████████ ███████ ███████ ███ ██ ██ █████ ██, ████████ ██████ ████ ███ █████ ██ ████ ██████ ██████ ██ ███ ████.

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}=\left\{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{\exists }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathbb{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{\forall }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\in \mathbb{<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="1"\; class="word\; redacted">█</span>})|\le \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\right\}.}$ :\██████ █\██ \██████ {█} ,\██████ █\██ \██████ {█} ,|██{█}^{█}(█)|\███ █\█████\}.}