partial extensions of attouch`s theorem with applications to proto