...and then after that, knowing the measured diameter of original tires (let's say 28 inches), multiply the result obtained above by 31/28. (since the car will have been driven more actual miles than indicated because the larger size tires will rotate a lesser number of turns for travelling same distance).