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.