在研究a2＋1型素数有无穷多命题时，通过构造b=（24）AZt-1，注（a^2记为a∧b），b^2＋1为素数，则b^4＋1=Q必为素数，从而找到人类历史上第一个表素数公式......