Un scistema lineare de congruense o peu vegnî soluçionou inte un tempo polinomiale con unna forma d’eliminaçio gaussiaña; pe di detaggi, s’ammie teorema de congruensa lineare.