Prove that MongoDB's update operation is document-level atomic.