Is there any mathematical proof that was at first solved in a very convoluted manner, but nowadays we know of a much simpler and elegant way of presenting the same proof?