After the examlet, we went through proofs by contradiction for two claims: there are infinitely many prime number, and there is no (perfectly behaving) lossless compression function.