If it is true that...

Great work is consistent with itself

and

Willingness to redo work can lead to better results

and

Cutting unnecessary elements can lead to a more concentrated and understood result

Then it must be true that...

Mathematical elegance is a useful standard beyond math

If it is true that...

Mathematical elegance is a useful standard beyond math

Then it must be true that...

Great work involves expanding people's ideas of what's possible

If it is true that...

Cutting unnecessary elements can lead to a more concentrated and understood result

and

Mathematical elegance is a useful standard beyond math

Then it must be true that...

Laborious solutions often have more prestige in the short term