The solution to a question I'm editing just gives the formula for matrix inverse with no proof. Is this too much?