Travelling waves, Leray-Schauder method, Fredholm and proper operators