Contractions on complete metric spaces have unique fixed points. That's a pretty cool theorem, according to our guest Vidit.