The theorem stating that any differentiable symmetry is associated with a conservation law. For example, rotational symmetry implies the conservation of angular momentum.