Math was not "just" proof of concept, it was THE proof of concept, since iterating on combustion engines cannot be done nearly as efficiently.