I like to keep all of my proofs very very very simple. 3 big steps, where each big steps should be intuitively true. Sure sometimes you should internalize the properties of your objects before you go on (big and useful theorems are just properties of the objects), but that's it.

I believe every natural problem has such a simple proof, that's why I use BFS when I try to solve a problem instead of DFS.