Pettis' theorem