Lanford later gave a shorter proof using the Leray - Schauder fixed point theorem .
Lanford later establishing only the fixed point without the hyperbolicity .
Lanford later gave a shorter proof using the Leray - Schauder fixed point theorem but establishing only the fixed point without the hyperbolicity .