https://123dok.net/document/zlg1152r-fatou-naïm-dooblimittheoremsintheaxiomaticsystemofbrelot-k-g.html