I'm skimming the "simplified" version so forgive me if I'm misinterpreting this. > However, if we could obtain the inverse function in a feasible way ... > Th

I'm skimming the "simplified" version so forgive me if I'm misinterpreting this. > However, if we could obtain the inverse function in a feasible way ... > The answer would be very simple: First, we start executing y on the program M until 5 minutes and ... > But, this is impossible: we could not reduce the time of 10 centuries to 40 minutes over L due to L is EXP-complete I have VERY minimal knowledge of this, but does this proof go into why this method to "obtain the inverse function in a feasible way" is the ONLY way or that it encompasses EVERY way to do it?