def is_prime(n):
    """米勒-拉宾素性检验是一种素数判定法则

    米勒-拉宾素性检验是一种素数判定法则，利用随机化算法判断一个数是合数还是可能是素数。
    卡内基梅隆大学的计算机系教授Gary Lee Miller首先提出了基于广义黎曼猜想的确定性算法，
    由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯来大学的Michael O. Rabin教授作出修改，
    提出了不依赖于该假设的随机化算法。

    :param n: 质数
    :return: 是质数返回True，不是返回False
    """
    pass
