FINITE-DIFFERENCE ANALOG OF THE NOETHER THEOREM