Comment by qubyte

This is really interesting to me. It could imply that an ugly theorem is less valuable. What if a theorem is ugly but useful vs a beautiful but esoteric one?