Unu sistema lineare de congruèntzias podet èssere resòlvidu in tempus polinòmicu cun una forma de eliminatzione gaussiana, pro detàllios càstia su teorema de sa congruèntzia lineare.