Объяснение генератора чисел?

Я искал алгоритм для генерации простых чисел. Я нашел следующее, сделанное Робертом Уильямом Хэнксом. Это очень эффективно и лучше, чем другие алгоритмы, но я не могу понять математику за ней.

def primes(n):
    """ Returns  a list of primes < n """
    lis = [True] * n
    for i in range(3,int(n**0.5)+1,2):
        if lis[i]:
            lis[i*i::2*i]=[False]*int((n-i*i-1)/(2*i)+1)
    return [2] + [i for i in range(3,n,2) if lis[i]]

Какова связь между массивом значений True и окончательным массивом простых чисел?

Ответ 1