May 30, 2013 16:17
Nothing quite like struggling to prove a theorem, having a nightmare of a time proving lemmas to help prove the theorem, finally prove a lemma to help prove some of the other lemmas, and realizing that what you just proved is equivalent to the theorem you were trying to prove in the first place.