Diaconescu's Theorem
I learned about Diaconescu's Theorem from Andrej Bauer's lecture.
This post describes the proof as it was presented by Bauer. These notes are rough and intended for my own reference. Please see François Dorais' blog post for a nice discussion of this topic.