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 pro

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.