On the density theorem for the subdifferential of convex functions on Hadamard spaces