>>640
>kF⊂F
F⊂(1/k)F
なので結局
kF=F
か
うーんそんな自由超フィルター存在するのかな?