Note on the Fredholm alternative for nonlinear operators Svatopluk Fučík (1971) Commentationes Mathematicae Universitatis Carolinae