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.
Comments
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.