Towards a proof of Catalan's conjecture

"Catalan's conjecture is one of those problems in number theory having an incredibly elaborate solution, despite the fact that they can be stated in a couple of lines, unambiguous as can be. Not surprisingly, it remained unsolved for more than a century and a half. The formulation of the c...