1) The document describes using the simplex method to solve linear programming problems with bounded variables. It introduces change of variables to reduce the lower bounds to zero, resulting in a problem with non-negative variables.
2) The basis of the transformed problem has m variables satisfying 0 < xj < uj, with the remaining n - m variables either equal to their upper bounds or having their complement equal to the upper bound.
3) It shows that the non-singularity of the basis implies the matrix B is non-singular, thus B forms a basis for the constraint matrix A.