There are several well-known mathematical statements that are 'obvious' but false (such as the negation of the Banach--Tarski theorem). There are plenty more that are 'obvious' and true. One would naturally expect a statement in the latter category to be easy to prove -- and they usually are. I'm interested in examples of theorems that are 'obvious', and known to be true, but that lack (or appear to lack) easy proofs.

Of course, 'obvious' and 'easy' are fuzzy terms, and context-dependent. The Jordan curve theorem illustrates what I mean (and motivates this question). It seems 'obvious', as soon as one understands the definition of continuity, that it should hold; it does in fact hold; but all the known proofs are surprisingly difficult.

Can anyone suggest other such theorems, in any areas of mathematics?