If theory is the role of the architect, then such beautiful proofs are the role of the craftsman. Of course, as with the great renaissance artists, such roles are not mutually exclusive. A great cathedral has both structural impressiveness and delicate detail. A great mathematical theory should similarly be beautiful on both large and small scales.

There is no clear-cut distinction between example and theory

Everything useful in mathematics has been devised for a purpose. Even if you don't know it, the guy who did it first, he knew what he was doing. Banach didn't just develop Banach spaces for the sake of it. He wanted to put many spaces under one heading. Without knowing the examples, the whole thing is pointless.

I think it is said that Gauss had ten different proofs for the law of quadratic reciprocity. Any good theorem should have several proofs, the more the better. For two reasons: usually, different proofs have different strengths and weaknesses, and they generalise in different directions - they are not just repetitions of each other.

In the broad light of day mathematicians check their equations and their proofs, leaving no stone unturned in their search for rigour. But, at night, under the full moon, they dream, they float among the stars and wonder at the miracle of the heavens. They are inspired. Without dreams there is no art, no mathematics, no life.

Any good theorem should have several proofs, the more the better.

If theory is the role of the architect, then such beautiful proofs are the role of the craftsman. Of course, as with the great renaissance artists, such roles are not mutually exclusive. A great cathedral has both structural impressiveness and delicate detail. A great mathematical theory should similarly be beautiful on both large and small scales.