孪生素数就是指相差2的素数对，例如3和5，5和7，11和13…，已经证明孪生素数存在无穷多对。 编程输入正整数a(10000>=a>=2)，输出不小于a的第一对孪生素数。差是2的两个素数被称为孪生素数

孪生素数是指相邻的两个质数，它们之间的差恰好为2。为了编写程序解决这个问题，我们可以采用一种常见的算法，即埃拉托斯特尼筛法（Sieve of Eratosthenes）来生成一定范围内的所有质数，然后检查哪些连续的两个质数满足条件。

以下是使用Python实现的一个简单示例：

def find_twin_primes(a):
    def is_prime(n):
        if n < 2:
            return False
        for i in range(2, int(n**0.5) + 1):
            if n % i == 0:
                return False
        return True

    primes = [True] * (a//2)
    p = 2
    while p * p <= a:
        # 如果p是质数，那么从p的平方开始，将其倍数标记为非质数
        if primes[p - 1]:
            for i in range(p * p, len(primes), p):
                primes[i - 1] = False
        p += 1

    twin Primes = []
    for i in range(len(primes)):
        if primes[i] and primes[i+1]:  # 检查连续的两个数字是否都是质数
            if i > 0 and primes[i-1]:  # 确保不是第一个数，因为第一个质数没有“前一个”
                if primes[i-1] + 2 >= a:  # 如果满足大于等于a的条件
                    twin_Primes.append((i * 2, (i + 1) * 2))  # 返回这对孪生素数
                    break

    return twin_Primes[0] if twin_Primes else None

# 输入示例
input_a = 10000
result = find_twin_primes(input_a)
if result:
    print(f"第一对不小于 {input_a} 的孪生素数是 {result[0]} 和 {result[1]}, 差为 2.")
else:
    print("在给定范围内没有找到孪生素数。")