ラショーヴァ＝シコルスキの補題
証明は以下のように為される。: D は可算であるから、D の要素であるP の稠密部分集合にD1, D2, ...と名前を付けていくことができる。 仮定から、p ∈ P が存在する。するとDの要素の稠密性から、 p1 ≤ p となるように p1 ∈ D1 を取ることができる。 同様にして ... ≤ p2 ≤ p1 ≤ p (ただし、pi ∈ Di) となるように取れる。
そこで、G = { q ∈ P : ∃ i, q ≥ pi} とおくと、 これは条件を満たす D-ジェネリックフィルターである。//
この補題はMA( א 0 {\displaystyle \aleph _{0}} )と同値である。