Their difficulty notwithstanding, the proofs actually were. I was feeling all clever with an alternate proof of a major fact in topology, until I realized I was relying on something that was itself based on what I was trying to prove. That was a fun bit of circular logic.