Bernstein's polynomial theorem