Zaslať SMS: Riešenie sústavy lineárnych rovníc nad okruhom celých čísel pomocou Smithovho kanonického tvaru matice