Un sistema lineare de congruense el poł esar risolto co un tempo polinomiałe co na forma de l’eliminasión gaussiana, pa detagli varda el teorema de ła congruensa lineare.