The paper contains new exact calculus rules for proximal subgradients of extended-real-valued functions defined on arbitrary real Banach spaces. We also develop efficient formulas for evaluating proximal subgradients of marginal/value functions in various problems of parametric optimization. The results obtained are employed to derive new necessary optimality conditions in unconstrained nondifferentiable programming.