这是使用 6k+-1 规则的正确素数算法吗？

Question

这个算法正确吗？我检查前 1,000,000 个素数，它可以工作，但我猜它只检查 6k-1

def is_prime(n):
    if n <= 1:
        return False
    if n <= 3:
        return True
    if n % 2 == 0 or n % 3 == 0:
        return False
    i = 5
    while i * i <= n:
        if n % i == 0 or n % (i + 2) == 0:
            return False
        i += 6
    return True

Answer 1

它在 if 条件下同时检查 6k-1 和 6k+1，没关系