Un sistema linear de equivalenza el pœu da rispost en temp polinominal coun una furma de eliminziun gaussiana, per i detai vardar el teurema de la congruenza linear.