Quality should never be compromised for short-term gains.
Theorems are the milestones of mathematics.