Catalan's conjecture - Schoof, René (Springer, 2008)