Un sisteme lineâr di congruencis al pues jessi risolût in timp di polinomi cuntune forme di elimiazion di Gauss, pai detais viodi il teoreme di conguence lineâr.