Conditions for a system of linear equations to have a unique solution