Noether's second theorem
Physics theorem for symmetries of action