Catalan's conjecture

Also known as Mihăilescu's theorem, Mihailescu's theorem

theorem about consecutive powers