Bezout's theorem - You can prove it with grueling arguments about resultants, or you can use cohomological machinery to do it in one line.