[rtpg]

And of course if you come across an inelegant proof you suddenly have the opportunity to think about it and see if you can make it more elegant!