My favorite theorem is one from analysis, The Heine-Borel Theorem which states that a subset of R^n is compact if and only if it is closed and bounded. It is fairly easily proved from the definitions of compact, and closed and bounded. This theorem has made my life a lot easier on a lot of analysis and geometry problems!