ジェネリックフィルター "g" の存在性はラショーヴァ＝シコルスキの補題から分かる。