Number theory often involves theorems that are simple to state and extraordinarily difficult to prove. It's one of the branches of maths that comes closest to

Number theory often involves theorems that are simple to state and extraordinarily difficult to prove. It's one of the branches of maths that comes closest to hard problems in computational complexity and proof theory (at least, as I understand the matter).