特郎布尔耸了耸肩：“就算是这样的吧。波奇克所做的工作非常重要，我说不准他是否为国防部、能源部、国家宇航局等部门工作，但那工作却是极其重要的。然而，他所感兴趣的是哥德巴赫猜想，为此他正在使用一台电子计算机进行证明。”

“去验证更大的数吗？”冈萨罗问。

霍尔斯特德立即回答道：“不，那样做没有用处。当然，现在可以用计算机解相当难的题，它得不出最好的解，但那总是个解呀。如果能在可能的情况下把问题限制在有限的数目——例如１，０００，０００——之内，你就可以用计算机检验每一个数。如果经验证的每一个数都符合假设，这就证明了命题。最近解决的地图四色问题就是这样证明的，这是一个同哥德巴赫猜想一样著名而又悬而未决的问题。”

“对，”特郎布尔说，“这是波奇克一直在做的事，显然，他已经证明了一条辅助定理。那么什么是辅助定理呢？”

霍尔斯特德答道：“这是解决问题的一条途径。假如你登山，在向山顶攀登时需要在不同的高度建立一些营地，辅助定理就像这些营地，解决问题就是登到山顶。”

“如果证明了辅助定理，就能证明猜想吗？”

“那可不一定，”霍尔斯特德说，“登到半山腰的某一个营地并不意味着登到了山顶。但是，如果解决不了辅助定理，就解决不了问题，至少从某个方向不行。”

“明白了。”特郎布尔说着，坐了下来，“但是，桑地诺最先提出了辅助定理，并公之于众。”

德雷克向桌子上俯下身来，仔细地听着，他问：“比波奇克还走运？”

特郎布尔说：“只是波奇克说这不算什么走运的。波奇克宣称，桑地诺没有解决这个问题的头脑，他不可能像自己一样独立解决这个问题，请大家重视这个巧合。”

德雷克说：“问题严重了，波奇克有什么证据吗？”

“没有，当然没有。桑地诺若从波奇克处窃取它，唯一的办法就是从波奇克的计算机中窃取数据，但波奇克自己又说桑地诺不可能做到这一点。”

“为什么不可能呢？”阿瓦隆问。

特郎布尔说：“因为波奇克使用了密码。使用密码以后，计算机就只回答某一个人的问题。倘若别人不知道密码，计算机装有密码的一切资料都很安全，不会被窃取。”

阿瓦隆说：“说不定桑地诺知道了密码。”

“波奇克说那不可能，”特郎布尔说，“他怕有人窃取，尤其是怕桑地诺窃取，所以从来不写出密码。而且除非一个人独自呆在房中，否则他决不使用密码。另外，据他说，他使用的密码有十四个字母长，有一万亿种组合，没有人能猜到它。”

鲁宾问：“桑地诺怎么说？”

“他说是他自己解决的，他说他否认一个疯子说他是窃赃的指责。坦白地说，没有人能否认他是对的。”

德雷克说：“好吧，让我们来好好想一下。桑地诺是一名优秀的数学家，而且在证明他有罪以前，他还是清白的。波奇克没有证据能够支持他的指责，而他又确实认为桑地诺无法取得密码。这是可能发生窃取的唯一途径，我认为是波奇克错了，而桑地诺是对的。”

特郎布尔说：“我认为人们可以争辩说桑地诺是对的，但关键是波奇克不干了。他在屋子里生闷气，读诗词，还说他再也不干了。他说桑地诺抢走了他的不朽之作，没有它，生命对于他来说已经毫无意义了。”

冈萨罗说：“假如你们确实很需要这家伙，能不能告诉桑地诺，让他把这发明权交还给波奇克呢？”

“桑地诺不可能作这种牺牲，而且我们也无法强迫他这样作，除非我们有理由认为他欺骗了我们。如果我们有证据说明这一点，我们就能把他打翻在地，使他名声扫地。但是，听我说，我认为桑地诺确有可能窃取了辅助定理。”

阿瓦隆问：“怎么窃取的呢？”

“利用密码。如果我知道密码是什么，我敢肯定我就能推算出桑地诺是怎么发现或猜出密码的。当然，波奇克不会让我知道密码是什么，我请求他时他毫不客气地拒绝了。他认为桑地诺是通过其它途径取得的，可又没有什么别的途径。”