Entonces, seguidamente, se da a cada variable libre el valor 1, a las otras variables libres el valor 0, y se resuelve formula_139 sustituyendo en reversa las variables (básicas) faltantes; los formula_143 vectores producidos de esta forma son una base para formula_128.