Main theorem of elimination theory

In algebraic geometry, the main theorem of elimination theory states that every projective scheme is proper. A version of this theorem predates the existence of scheme theory.

Source: Wikipedia — Main theorem of elimination theory (CC BY-SA 4.0)