Implement Gauss backSubst