Here are some well-known gems: - Euclid's proof of infinitude of primes - countability of the rationals (minor) - uncountability of the reals - Bolzano-Weierstrass (minor)