http://www.smbc-comics.com/comics/20110404.gif
So true. I HATE trying to prove obvious stuff. We had a proof in Abstract Algebra I about something really basic, like 1 - 1 = 0 (wasn't that same statement, but something similar) and it was so hard. In a study session last week one of my students asked me to prove something very obvious about derivatives and I gave up after about 10 minutes.
Though I don't quite get the actual example from this comic. "Let X be a set containing x. Then X contains x". Am I missing something here?