This result states monotonicity formula for stationary integral varifolds: given 0<m n, let x 0 R n, and let R>0. Let either m B(x 0,R) R n be a smooth properly embedded minimal submanifold without boundary in B(x 0,R), with associated mass measure = H m.... It is useful in geometric measure theory and minimal surface regularity, where variational identities, curvature estimates, and compactness arguments control geometric objects.