Sylvester's Theorem