theorem Th65: :: CARDFIL4:79

lim_filter ((# dblseq_ex_1),(Frechet_Filter [:NAT,NAT:])) = {}