Ten artykuł od 2012-01 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Niech ${\displaystyle {\mathcal {K}}}$ będzie kratą rozdzielną. Wówczas krata dualna ${\displaystyle {\mathcal {K}}^{\mathbf {d} }}$ do ${\displaystyle {\mathcal {K}}}$ także jest rozdzielna.

Jeśli teraz ${\displaystyle a\not \leqslant b}$ w ${\displaystyle {\mathcal {K}},}$ to ${\displaystyle b\not \leqslant ^{\mathbf {d} }a}$ w ${\displaystyle {\mathcal {K}}^{\mathbf {d} }.}$ Na mocy twierdzenia o ideale pierwszym, istnieje w ${\displaystyle {\mathcal {K}}^{\mathbf {d} }}$ ideał pierwszy ${\displaystyle F,}$ dla którego ${\displaystyle a\in F\,,\;b\not \in F.}$ Wówczas jak się okazuje ${\displaystyle F}$ jest filtrem pierwszym w wyjściowej kracie ${\displaystyle {\mathcal {K}}.}$

Tym samym wykazaliśmy:

Niech ${\displaystyle {\mathcal {K}}}$ będzie kratą rozdzielną i niech ${\displaystyle a\not \leqslant b.}$ Wówczas istnieje w ${\displaystyle {\mathcal {K}}}$ filtr pierwszy ${\displaystyle F,}$ dla którego ${\displaystyle a\in F\,,\;b\not \in F.}$