There are some theorem proofs related to Cryptography or computational number theory. I think they are important, and we shouldn't forget any details.
THe latex template from link，thanks for Dominic Widdows's good job.
fffmath/theorem-you-must-know
I think they must be known, even not forget any details.
TeXBSD-2-Clause