It constructs a number that is not divisible by any member of the list, so either it is prime, or there is some other prime that is not a member of the list. Ei

It constructs a number that is not divisible by any member of the list, so either it is prime, or there is some other prime that is not a member of the list. Either way we can grow the list.