https://123dok.org/document/dy4830vq-an-elemental-overview-of-the-nonholonomic-noether-theorem.html