Catalan's Conjecture by Rene Schoof