Stav dette: Catalan's conjecture