Restate and name the Rasiowa--Sikorski lemma.