theorem :: CARDFIL2:55

NAT in base_of_frechet_filter