This result states minimality implies vanishing mean curvature at regular points: given U R n be open, let 1 m n, and let T be an m-dimensional integral current in U that is locally area-minimizing in the following sense: for every compact set K U and every.... It is useful in minimal surfaces and harmonic maps, where variational identities, curvature estimates, and compactness arguments control geometric objects.