I don't think that is that unusual in group theory proofs to be honest. You often break things down into related things and then prove for each collection of related things. And some of those proofs might be straightforward and some might be open problems for years requiring much more advanced techniques.