Soustavy lineárních diofantovských rovnic a Smithův normální tvar matice