A mathematical theorem that describes the relationship between systems of linear equations and their solutions.