Sylvester's theorem