Ask HN: What are your favorite proofs in computer science?

See actual theory be implemented in solution solving problems.