Input (grade 12): It became clear that the theory had prospects of moving ahead finally from Kummer's century-old results on regular primes.
Output (grade 11): It became clear that the theory might be able to move ahead finally from Kummer's century-old results on regular primes.