How do you prove that it is impossible to analytically solve a quintic equation? What are the ways to understand the proof that there is no formula for expressing the roots of the general quintic equation via radicals?