is there a theorem that says that if you have n linear equations, each equation is distinct and contains all of the n variables, can you say that there always exist at least one solution?