|
|
|
|
|
|
by youoy
530 days ago
|
|
|
An ugly proof is super useful. It turns a statement into a theorem. There is a famous quote by Riemann: "If only I had the theorems! Then I should find the proofs easily enough. " Once you have a proof, simplifying it should be much easier, even for computers. |
|
|