Not at all obvious, but there are very few hypotheses that could be specified as briefly. What took ten years was figuring out how to get from the very short specification into an algebraic expression that satisfied its constraints.

A bit like, if the theory was 'just' Fermat's Last Theorem, proving it could take a while.