Sistem kongruensi linier prasida kapuputang ring galah polinomial antuk wangun eliminasi Gauss, antuk sajangkepnyané cingakin teorema kongruensi linier.