I lineær algebra er et teorem som gir uttrykk for løsningen til et lineært ligningssystem med like mange ukjente som ligninger, i tilfeller der en entydig løsning eksisterer.