The induction ASSUMES that there is a solution for b1, b2, ..., b(n-1) based on a1,a2,...,a(n). We need to prove, based on the above assumtion, that there is a solution for b1, b2, ..., b(n) based on a1,a2,...,a(n+1).