Something along these lines happened during the march towards the odd order theorem. Quoting Wikipedia:

The attack on Burnside's conjecture was started by Michio Suzuki (1957), who studied CA groups; these are groups such that the Centralizer of every non-trivial element is Abelian. In a pioneering paper he showed that all CA groups of odd order are solvable. (He later classified all the simple CA groups, and more generally all simple groups such that the centralizer of any involution has a normal 2-Sylow subgroup, finding an overlooked family of simple groups of Lie type in the process, that are now called Suzuki groups.)

Feit, Marshall Hall, and Thompson (1960) extended Suzuki's work to the family of CN groups; these are groups such that the Centralizer of every non-trivial element is Nilpotent. They showed that every CN group of odd order is solvable. Their proof is similar to Suzuki's proof. It was about 17 pages long, which at the time was thought to be very long for a proof in group theory.

The Feit–Thompson theorem can be thought of as the next step in this process: they show that there is no non-cyclic simple group of odd order such that every proper subgroup is solvable. This proves that every finite group of odd order is solvable, as a minimal counterexample must be a simple group such that every proper subgroup is solvable. Although the proof follows the same general outline as the CA theorem and the CN theorem, the details are vastly more complicated. The final paper is 255 pages long.