What Eq. (17) states is that a certain quantity, (18) does not change with time. In other words, it is conserved. The argument is both abstract and powerful. It did not depend on the details of the system, but only on the general idea of a symmetry.
