Still we could have used the same energy for other things that are currently running on non-renewable energy.
Energy transmission is expensive, and this would only be economically feasible within certain geographic limits. Otherwise they are both independent economies; a rural hydroelectric dam that serves miners isn't taking anything away from population centers, given the appropriate distance.
Even then, we could have used the equipment (solar panels, wind turbines, etc) for something else. Unless the world is running on 100% renewable energy it doesn't make sense to say that something that requires energy doesn't cost (the world) anything because it's running on renewables.
Mining and future energy production is not constrained by these needs. Miners can use satellite internet and be isolated in the Siberian tundra if they needed.
What I'm saying is renewable energy is both cheap and becoming abundant. There is no need to fear mining consumption of energy.