otherwise nobody would have tried to prove them in the first place. Not really. Sometimes someone sees a bunch of examples and wonders if there is a generaliz

otherwise nobody would have tried to prove them in the first place. Not really. Sometimes someone sees a bunch of examples and wonders if there is a generalization/theorem. So they set out to prove it and 3 pages of symbol manipulation later you have a proof.