They were trying to solve a real world problem using this kind of math, and then decided it'd be easier to improve upon the math itself than to continue to poun

They were trying to solve a real world problem using this kind of math, and then decided it'd be easier to improve upon the math itself than to continue to pound at the problem - so by definition, I'd say you're absolutely wrong here, or they never would have started this proof in the first place.