我正在寻找生成素数的算法。我发现以下由罗伯特·威廉·汉克斯（Robert William
Hanks）完成的任务。它非常有效并且比其他算法更好，但我无法理解其背后的数学原理。

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]]

Trues值数组和最终质数数组之间有什么关系？