ON PROPER HOMOTOPY THEORY FOR NONCOMPACT S-MANIFQLDSC1)