I really love these Numberphile videos. When I see these sorts of abstract mathematical "proofs" I always wonder what the mathematician was trying to do when they came up with that process.