Jabarkan Sistem persamaan Diophantus linear dari Persamaan Diophantus

Secara lebih umum, setiap sistem persamaan Diophantus linear dapat dipecahkan dengan menghitung bentuk normal Smith dari matriksnya, dengan cara yang serupa dengan penggunaan bentuk eselon baris tereduksi untuk memecahkan sistem persamaan linear di atas sebuah medan. Menggunakan notasi matriks setiap sistem persamaan Diophantus linear dapat ditulis