With our Pascal program, a rigorous proof for primality of a 104-digit prime can be dune within five minutes on a PC486. Especially we have proved that 10103+ 129 is prime.

• 我们的Pascal程序在486微机上对104位素数的严格素性证明在5分钟内完成。 特别地，我们证明了10103＋129是素数。