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