Implements the Back Substitution algorithm (b->x)