@jnpn I can remember, in my metamathematics seminar group as an undergraduate, having to work through that proof until I fully understood it. There were a lot of brain-breakers in that course -- I have a very ambivalent relationship with the concept of infinity to this day -- but that was one of the most challenging.