Comment by roundsquare

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.