Why is a smooth connected scheme (say over a field) necessarily irreducible?
Intuitively it makes sense because we might very well expect points in the intersection of two irreducible components to be singular points.
But what is a proof? Feel free to add any extra hypotheses if needed (e.g., separated if that is required).