Schnirelmann's theorem