Moreau-Rockafellar Subdifferential Sum Rule