The first draft of anything is shit.
Rigor in proof is what separates mathematics from all other sciences.