In 2010, Bounkhel et al. introduced new proximal concepts (analytic proximal subdifferential, geometric proximal subdifferential, and proximal normal cone) in reflexive smooth Banach spaces. They proved, inp-uniformly convex andq-uniformly smooth Banach spaces, the density theorem for the new concepts of proximal subdifferential and various important properties for both proximal subdifferential concepts and the proximal normal cone concept. In this paper, we establish calculus rules (fuzzy sum rule and chain rule) for both proximal subdifferentials and we prove the Bishop-Phelps theorem for the proximal normal cone. The limiting concept for both proximal subdifferentials and for the proximal normal cone is defined and studied. We prove that both limiting constructions coincide with the Mordukhovich constructions under some assumptions on the space. Applications to nonconvex minimisation problems and nonconvex variational inequalities are established.