Funny! But....
As an engineering matter, I suspect the time taken to increase the dimension of a mine is not directly proportional to the increase in dimensions. For example, I presume a tunnel of larger cross section will need more bracing than a tunnel of smaller cross section, which may in fact be self-supporting (dig a tunnel in wet sand at a beach as an experiment).
