Ekuazio linealen sistema baten bateragarritasuna horren koefizienteen matrizearen eta matrize zabalduaren heinak alderatuz zehazten duen teorema.