są równocześnie <gap>.<br>Ogólniej, podstawiając na R rodzinę zbiorów, które są jednocześnie klasy<gap> addytywnej i multyplikatywnej, wnosimy, że <hi rend="italic">jeśli rozkład Q jest typu <gap>, gdzie B jest rodziną zbiorów addytywnej klasy <gap>, to istnieje selektor multyplikatywnej klasy<gap>.</><br> Wniosek. <hi rend="italic">Jeśli pole R jest <gap></> (tzn., że nie tylko skończone, ale również przeliczalne działania dodawania i mnożenia nie wyprowadzają poza R), <hi rend="italic">to każdy rozkład typu</> (czyli, jak mówimy, "<gap> mierzalny") <hi rend="italic">ma selektor R-mierzalny</>, tj. należący do R.<br>Uwaga. Przy założeniach twierdzenia 2 istnieje - na ogół biorąc - nie jeden selektor klasy <gap> dla rozkładu Q - lecz selektorów klasy <gap> spełniające "dodatkowe warunki" przez nas postawione. W szczególności zachodzi twierdzenie następujące