The theorem of Halmos and Savage under finite additivity