Because Catalan’s conjecture.

> Catalan's conjecture was proven by Preda Mihăilescu in April 2002.

Cool, so the conjecture's a theorem.

https://xn--uni-gttingen-8ib.academia.edu/PredaMihailescu

Which has an extremely complicated proof :-(

I wouldn’t call it extremely complicated; it is much simpler than the proof of FLT.

Yes, but there is a much simpler proof.

Something related to prime factorization maybe?

Do tell.