NON-LINEAR FREDHOLM MAPS AND THE LERAY-SCHAUDER THEORY